About me
Recent News
[24 Jan 2025] Our paper on programming language synthsis for automated exploit generation is accepted by Usenix Security 2025.
[27 Jun 2024] I present my poster on programming language synthesis at PLDI SRC 2024.
[16 Dec 2023] Our paper on data minimization is accepted by SANER 2024.
[9 Jan 2023] I become a Ph.D. student at NUS.
[4 Oct 2022] Our paper as well as my Master’s dissertation on cryptocurrency-themed malicious browser extensions is accepted by SIGMETRICS 2023.
[17 Aug 2022] Our paper on privacy compliance is accepted by ASE 2022.
About
I’m a Ph.D. student in PLSE lab at National University of Singapore (School of Computing). I received my M.S degree in Information Security from NUS in 2022 and B.S. degree in Software Engineering from Shandong University in 2020. My research interests include software security, program analysis, and programming languages. I am now exploring topics in program verification with Prof. Ilya Sergey.
Outside of research, I keep a plog of my Ph.D. life on my VERSE Diary.
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
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
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
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
Student Research Competition
Synthesising Programming Languages
PLDI SRC, 2024
Yuxi Ling