My research focuses on AI for Security (AI4Sec), combining large language models with program analysis to understand programs (e.g., smart contracts) and real-world (on-chain) attacks. I am particularly interested in AI agents for cybersecurity, tool-assisted vulnerability investigation, and blockchain security.
I am seeking academic and industry research positions, including postdoctoral opportunities, and welcome research collaborations. Please feel free to contact me.
Vulnerability Research & Exploitation Engineer Intern
LLM-assisted firmware auditing: combined program context with model-based reasoning to identify authentication logic, assess sanitizer bypassability, and prioritize taint-analysis alarms.
Security intelligence: contributed to automated collection and structured analysis of public disclosures on Twitter, turning unstructured posts into usable security intelligence.
Control-flow and data-flow analysis, symbolic reasoning, decompilation.
Service
Academic (sub)reviewing (2025–2026). Participated in reviewing for USENIX Security, IEEE S&P, KDD, IEEE TIFS, Computers & Security, and Chinese Journal of Computers.
Teaching assistant.Cybersecurity & Privacy, taught in English, Fall 2022.
Community service. Helped organize cybersecurity courses at the Jiangsu graduate summer school (2024–2026); defense committee member for the vulnerability analysis track at DataCon 2024.