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]
@inproceedings{PoeplauF21,
title = {SymQEMU: Compilation-based symbolic execution for binaries},
author = {Sebastian Poeplau and Aurélien Francillon},
year = {2021},
url = {https://www.ndss-symposium.org/ndss-paper/symqemu-compilation-based-symbolic-execution-for-binaries/},
researchr = {https://researchr.org/publication/PoeplauF21},
cites = {0},
citedby = {0},
booktitle = {28th Annual Network and Distributed System Security Symposium, NDSS 2021, virtually, February 21-25, 2021},
publisher = {The Internet Society},
}