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]
Abstract is missing.