Sound and Efficient Generation of Data-Oriented Exploits via Programming Language Synthesis

Published in USENIX Security Symposium, 2025