2 papers
cs.CR2026
Adding Compilation Metadata To Binaries To Make Disassembly Decidable
Daniel Engel, Freek Verbeek, Pranav Kumar +1
The binary executable format is the standard method for distributing and executing software. Yet, it is also as opaque a representation of software as can be. If the binary format…
cs.SE2025
Formally Verified Binary-level Pointer Analysis
Freek Verbeek, Ali Shokri, Daniel Engel +1
Binary-level pointer analysis can be of use in symbolic execution, testing, verification, and decompilation of software binaries. In various such contexts, it is crucial that the r…