Ian Roessle

According to our database, Ian Roessle authored at least 4 papers between 2019 and 2025.

Collaborative distances:

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

2025

Toward Bridging the Semantic Gap Between x86-64 Software Binaries and Abstract Languages for Formal Verification and Security.

Ian Roessle

PhD thesis, 2025

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

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

Formally verified big step semantics out of x86-64 binaries.

Ian Roessle, Freek Verbeek, Binoy Ravindran

Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2019