Establishing a refinement relation between binaries and abstract code. - Freek Verbeek; Joshua A. Bockenek; Abhijith Bharadwaj; Binoy Ravindran; Ian Roessle (MEMOCODE, 2019)

Formal Verification of Memory Preservation of x86-64 Binaries. - Joshua A. Bockenek; Freek Verbeek; Peter Lammich; Binoy Ravindran (SAFECOMP, 2019)

Highly Automated Formal Proofs over Memory Usage of Assembly Code. - Freek Verbeek; Joshua A. Bockenek; Binoy Ravindran (TACAS (2), 2020)

X86 instruction semantics and basic block symbolic execution. - Freek Verbeek; Abhijith Bharadwaj; Joshua A. Bockenek; Ian Roessle; Timmy Weerwag; Binoy Ravindran (Arch. Formal Proofs, 2021)

Formally verified lifting of C-compiled x86-64 binaries. - Freek Verbeek; Joshua A. Bockenek; Zhoulai Fu; Binoy Ravindran (PLDI, 2022)

Low-Level Static Analysis for Memory Usage and Control Flow Recovery. - Joshua A. Bockenek (2023)

Exceptional Interprocedural Control Flow Graphs for x86-64 Binaries. - Joshua A. Bockenek; Freek Verbeek; Binoy Ravindran (DIMVA, 2024)

Artifact for the DIMVA 2024 paper "Exceptional Interprocedural Control Flow Graphs for x86-64 Binaries". - Joshua A. Bockenek; Freek Verbeek; Binoy Ravindran (Zenodo, 2024)