Ian Roessle

Publication Activity (10 Years)

Years Active: 2019-2021
Publications (10 Years): 3

Top Topics

Symbolic Execution

Semantic Information

Top Venues

Arch. Formal Proofs

Publications

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)
Ian Roessle, Freek Verbeek, Binoy Ravindran
Formally verified big step semantics out of x86-64 binaries. CPP (2019)
Freek Verbeek, Joshua A. Bockenek, Abhijith Bharadwaj, Binoy Ravindran, Ian Roessle
Establishing a refinement relation between binaries and abstract code. MEMOCODE (2019)