Yuxi Ling, Gokul Rajiv, Kiran Gopinathan, Ilya Sergey. Sound and Efficient Generation of Data-Oriented Exploits via Programming Language Synthesis. In Lujo Bauer, Giancarlo Pellegrino, editors, 34th USENIX Security Symposium, USENIX Security 2025, Seattle, WA, USA, August 13-15, 2025. pages 413-429, USENIX Association, 2025. [doi]
@inproceedings{LingRGS25,
title = {Sound and Efficient Generation of Data-Oriented Exploits via Programming Language Synthesis},
author = {Yuxi Ling and Gokul Rajiv and Kiran Gopinathan and Ilya Sergey},
year = {2025},
url = {https://www.usenix.org/conference/usenixsecurity25/presentation/ling},
researchr = {https://researchr.org/publication/LingRGS25},
cites = {0},
citedby = {0},
pages = {413-429},
booktitle = {34th USENIX Security Symposium, USENIX Security 2025, Seattle, WA, USA, August 13-15, 2025},
editor = {Lujo Bauer and Giancarlo Pellegrino},
publisher = {USENIX Association},
}