SymQEMU: Compilation-based symbolic execution for binaries

Sebastian Poeplau, Aurélien Francillon. SymQEMU: Compilation-based symbolic execution for binaries. In 28th Annual Network and Distributed System Security Symposium, NDSS 2021, virtually, February 21-25, 2021. The Internet Society, 2021. [doi]

Authors

Sebastian Poeplau

This author has not been identified. Look up 'Sebastian Poeplau' in Google

Aurélien Francillon

This author has not been identified. Look up 'Aurélien Francillon' in Google