Publications

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

USENIX Security Symposium, 2025

Yuxi Ling, Gokul Rajiv, Kiran Gopinathan, Ilya Sergey

[pdf]

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

IEEE SANER, 2024

Yuxi Ling, Yun Hao, Yuyan Wang, Kailong Wang, Guangdong Bai, Jin Song Dong

[pdf] [site]

Characterizing Cryptocurrency-themed Malicious Browser Extensions

ACM SIGMETRICS, 2023

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

[pdf] [site]

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

The 37th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2022

Yuxi Ling*, Kailong Wang*, Guangdong Bai, Haoyu Wang, Jin Song Dong

[pdf] [site]