Sound and Efficient Generation of Data-Oriented Exploits via Programming Language Synthesis
USENIX Security Symposium, 2025
Yuxi Ling, Gokul Rajiv, Kiran Gopinathan, Ilya Sergey
USENIX Security Symposium, 2025
Yuxi Ling, Gokul Rajiv, Kiran Gopinathan, Ilya Sergey
IEEE SANER, 2024
Yuxi Ling, Yun Hao, Yuyan Wang, Kailong Wang, Guangdong Bai, Jin Song Dong
ACM SIGMETRICS, 2023
Kailong Wang*, Yuxi Ling*, Yanjun Zhang, Zhou Yu, Haoyu Wang, Guangdong Bai, Beng Chin Ooi, Jin Song Dong