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

Name: Sound and Efficient Generation of Data-Oriented Exploits via Programming Language Synthesis
Duration: 15 min
Description: Talk from 34th USENIX Security Symposium (USENIX Security '25).

Yuxi Ling

34th USENIX Security Symposium (USENIX Security '25) · Day 1 · Software Security 1