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

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Yuxi Ling' in GoogleThis author has not been identified. Look up 'Gokul Rajiv' in GoogleThis author has not been identified. Look up 'Kiran Gopinathan' in GoogleThis author has not been identified. Look up 'Ilya Sergey' in Google

runs on WebDSL