Joshua A. Bockenek

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 6

Top Topics

Program Slicing

Top Venues

Arch. Formal Proofs

Publications

Joshua A. Bockenek, Freek Verbeek, Binoy Ravindran
Exceptional Interprocedural Control Flow Graphs for x86-64 Binaries. DIMVA (2024)
Freek Verbeek, Joshua A. Bockenek, Zhoulai Fu, Binoy Ravindran
Formally verified lifting of C-compiled x86-64 binaries. PLDI (2022)
Freek Verbeek, Abhijith Bharadwaj, Joshua A. Bockenek, Ian Roessle, Timmy Weerwag, Binoy Ravindran
X86 instruction semantics and basic block symbolic execution. Arch. Formal Proofs 2021 (2021)
Freek Verbeek, Joshua A. Bockenek, Binoy Ravindran
Highly Automated Formal Proofs over Memory Usage of Assembly Code. TACAS (2) (2020)
Joshua A. Bockenek, Freek Verbeek, Peter Lammich, Binoy Ravindran
Formal Verification of Memory Preservation of x86-64 Binaries. SAFECOMP (2019)
Freek Verbeek, Joshua A. Bockenek, Abhijith Bharadwaj, Binoy Ravindran, Ian Roessle
Establishing a refinement relation between binaries and abstract code. MEMOCODE (2019)