D dl.acm.org Verifiably Correct Lifting of Position-Independent x86-64 Binaries (2024) 34 points etiams 1 year ago 6 comments
