Sound and Efficient Generation of Data-Oriented Exploits via Programming Language SynthesisPublished in USENIX Security Symposium, 2025Share on Bluesky Facebook LinkedIn Mastodon X (formerly Twitter) Previous Next