Linke Li

Research Insterests

​ Having focused on compiler security, I now aspire to broaden my expertise by researching diverse aspects of software engineering. I am interested in using software tools to make it easier to develop correct and efficient software.

Education

• M.Sc. Student in Nanjing, Nanjing University, CS, 2021-2024
  • Advisor : Professor Bing Mao
• B.S. in Shaanxi, Xi’an Jiaotong University, CS, 2017-2021

Publications

Cross-Version Detection for Compiler-Introduced Vulnerabilities

Jianhao Xu, Linke Li, Kunbo Zhang, Bing Mao

Submitted to Journal of Software(In Chinese)

Silent Bugs Matter: A Study of Compiler-Introduced Security Bugs

Jianhao Xu, Kangjie Lu, Zhengjie Du, Zhu Ding, Linke Li, Qiushi Wu, Mathias Payer, and Bing Mao.

In Proceedings of the 32nd USENIX Security Symposium (Security’23). Anaheim, CA, August 2023.

Achievements

Second Prize in College Student Mathematical Contest(Non-Mathematics Category), December 2020

Excellent Student of Xi’an Jiaotong University, November 2019

First Prize in Xi’an Jiaotong University Mathematical Modeling Competition, May 2019

Third Prize Scholarship of Xi’an Jiaotong University, 2018, 2019, 2020

Skills

Programming : C/C++, Python, LLVM, Static analysis Tools : ghidra, git, Docker

See pdf version here.