Formally verified big step semantics out of x86-64 binaries I Roessle, F Verbeek, B Ravindran Proceedings of the 8th ACM SIGPLAN International Conference on Certified …, 2019 | 16 | 2019 |
Establishing a refinement relation between binaries and abstract code F Verbeek, J Bockenek, A Bharadwaj, B Ravindran, I Roessle Proceedings of the 17th ACM-IEEE International Conference on Formal Methods …, 2019 | 4 | 2019 |
WRT-1033: TRANSITIONING MISSION AWARE CONCEPTS AND METHODS TO EVALUATE COST/RISK DECISIONS FOR SECURITY RESEARCH AREA: TRUSTED SYSTEMS T McDermott | | 2021 |
X86 instruction semantics and basic block symbolic execution F Verbeek, A Bharadwaj, J Bockenek, I Roessle, T Weerwag, B Ravindran Archive of Formal Proofs, 72, 2021 | | 2021 |
DEVELOPMENTAL TEST AND EVALUATION (DTE&A) AND CYBERATTACK RESILIENT SYSTEMS T McDermott | | 2021 |
Symbolic Execution of x86 assembly in 2 Isabelle/HOL F Verbeek, A Bharadwaj, J Bockenek, I Roessle, B Ravindran SpISA 2019: Workshop on Instruction Set Architecture Specification, 4, 2019 | | 2019 |