Joshua A. Bockenek

According to our database, Joshua A. Bockenek authored at least 5 papers between 2019 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Formally verified lifting of C-compiled x86-64 binaries.

Freek Verbeek, Joshua A. Bockenek, Zhoulai Fu, Binoy Ravindran

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

2021

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

2020

Highly Automated Formal Proofs over Memory Usage of Assembly Code.

Freek Verbeek, Joshua A. Bockenek, Binoy Ravindran

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

2019

Formal Verification of Memory Preservation of x86-64 Binaries.

Joshua A. Bockenek, Freek Verbeek, Peter Lammich, Binoy Ravindran

Proceedings of the Computer Safety, Reliability, and Security, 2019

Establishing a refinement relation between binaries and abstract code.

Freek Verbeek, Joshua A. Bockenek, Abhijith Bharadwaj, Binoy Ravindran, Ian Roessle

Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2019