Publications

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

Yuxi Ling, Gokul Rajiv, Kiran Gopinathan, Ilya Sergey
Usenix Security Symposium, 2025.

Essential or Excessive? MINDAEXT: Measuring Data Minimization Practices among Browser Extensions

Yuxi Ling, Yun Hao, Yuyan Wang, Kailong Wang, Guangdong Bai, Jin Song Dong
IEEE SANER, 2024.

Characterizing Cryptocurrency-themed Malicious Browser Extensions

Kailong Wang*, Yuxi Ling*, Yanjun Zhang, Zhou Yu, Haoyu Wang, Guangdong Bai, Beng Chin Ooi, Jin Song Dong
ACM SIGMETRICS, 2023.

[PDF] [Page]

Are They Toeing the Line? Diagnosing Privacy Compliance Violations among Browser Extensions

Yuxi Ling*, Kailong Wang*, Guangdong Bai, Haoyu Wang, Jin Song Dong
The 37th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2022.

[PDF] [Page]

-->