Sound C Code Decompilation for a Subset of x86-64 Binaries

von Verbeek, Freek
Veröffentlicht in SEFM (18. : 2020 : Online) Software engineering and formal methods (2020)

DSV: Disassembly Soundness Validation Without Assuming a Ground Truth

von An, Xiaoxin
Veröffentlicht in NFM (14. : 2022 : Pasadena, Calif.) NASA formal methods (2022)

Highly Automated Formal Proofs over Memory Usage of Assembly Code

von Verbeek, Freek
Veröffentlicht in TACAS (26. : 2020 : Online) Tools and algorithms for the construction and analysis of systems ; Part 2 (2020)

Verification of Functional Correctness of Code Diversification Techniques

von Jang, Jae-Won
Veröffentlicht in NFM (13. : 2021 : Online) NASA Formal Methods (2021)