SymQEMU: Compilation-based symbolic execution for binaries.

Sebastian Poeplau, Aurlien Francillon

Browse the full NDSS paper archive.