shenym7 [at] mail2.sysu.edu.cn
I am a second-year graduate student at the School of Software Engineering, Sun Yat-sen University, under the supervision of Professor Jiachi Chen (陈嘉弛) and Assistant Professor Yanlin Wang (王焱林). Currently, I'm working as a Research Assistant at Zhejiang University.
My research interests center on LLM-driven security analysis for domain-specific systems (e.g., blockchain smart contracts). I explore the bidirectional coupling between LLMs and program analysis: 1) leveraging LLMs to enhance program analysis; 2) employing program analysis techniques to verify the trustworthiness of LLM outputs.
I am seeking Ph.D. opportunities for Fall 2027. Please contact me if you are interested.
Sun Yat-sen University Graduate Student (Master's Degree) in Software Engineering (Advisor: Jiachi Chen & Yanlin Wang), since Sept. 2024.
Hainan University B.Sc. in Cybersecurity & Cryptography (Advisor: Xiaoqi Li), from Sept. 2020 to June 2024.
Research Assistant at the College of Computer Science, Zhejiang University, Hangzhou, China, since Jan. 2026.
Security Research Intern at Skyward Lab of Ant Group (Alipay), Hangzhou, China. Worked on LLM-driven Web3 bug hunting from June 2025 to Jan. 2026.
Security Engineer at Software Research Institute of China Unicom, Beijing, China. Worked on threat hunting and incident response from July 2023 to Sept. 2023.
FORGE: An LLM-driven Framework for Large-Scale Smart Contract Vulnerability Dataset Construction
Jiachi Chen, Yiming Shen (Student First Author), Jiashuo Zhang*, Zihao Li, John Grundy, Zhenzhe Shao, Yanlin Wang, Jiashui Wang, Ting Chen*, Zibin Zheng
[The 48th IEEE/ACM International Conference on Software Engineering (ICSE'26), CCF A, Direct Acceptance Rate 9.2% (60/646)][pdf][code]
Demystifying and Detecting Cryptographic Defects in Ethereum Smart Contracts
Jiashuo Zhang, Yiming Shen, Jiachi Chen*, Jianzhong Su, Yanlin Wang, Ting Chen, Jianbo Gao*, Zhong Chen*
[The 47th International Conference on Software Engineering (ICSE'25), CCF A, Direct Acceptance Rate 9.1% (46/508),
🏆ACM SIGSOFT Distinguished Paper Award🏆][pdf][code]
When Crypto Fails: Demystifying Cryptographic Defects in Ethereum Smart Contracts
Jiashuo Zhang, Jiachi Chen, Yiming Shen, Tao Zhang, Yanlin Wang, Ting Chen, Jianbo Gao, Zhong Chen
[IEEE Transactions on Software Engineering (TSE'25), CCF A][pdf][code]
Lost in Blockchain Address Misuse: Hidden Cross-Platform Risks and Their Security Impact
Zhenzhe Shao, Jiashuo Zhang, Zihao Li, Daoyuan Wu, Chong Chen, Yiming Shen, Lingfeng Bao, Yanlin Wang, Jiachi Chen*
[The 35th USENIX Security Symposium Security (SEC'26), CCF A][coming soon][code]
NumScout: Unveiling Numerical Defects in Smart Contracts using LLM-Pruning Symbolic Execution
Jiachi Chen, Zhenzhe Shao, Shuo Yang, Yiming Shen, Yanlin Wang, Ting Chen, Zhenyu Shan, Zibin Zheng
[IEEE Transactions on Software Engineering (TSE'25), CCF A][pdf][code]
Beyond the Protocol: Unveiling Attack Vectors in the Model Context Protocol (MCP) Ecosystem
Hao Song ||, Yiming Shen ||, Wenxuan Luo, Leixin Guo, Ting Chen*, Jiashui Wang, Beibei Li, Xiaosong Zhang, Jiachi Chen* [arXiv preprint arXiv:2506.02040][pdf][code]
Web3 x AI Agents: Landscape, Integrations, and Foundational Challenges
Yiming Shen, Jiashuo Zhang, Zhenzhe Shao, Wenxuan Luo, Yanlin Wang, Ting Chen, Zibin Zheng, Jiachi Chen*
[arXiv preprint arXiv:2508.02773][pdf][code]
Reviewer of Blockchain: Research and Applications (BCRA, JCR Q1)
2025, Merchants Union (China Merchants Bank-China Unicom) Scholarship
2025, Sun Yat-sen University First-class Scholarship
2025, ACM SIGSOFT Distinguished Paper Award (ICSE'25)
2025, ETH Hangzhou Hackathon, Top 5 Finalist with CyraAI project (882 likes in public votes)
2024, DataCon Big Data Security Analysis Competition, Third Prize
2024, Sun Yat-sen University First-class Scholarship
2024, Cycling Around Hainan Island - 7 days 6 nights - 960 kilometers
2023, Wu Xu Prize at Hainan University (Top 0.1%)
2023, National College Student Information Security Competition, National Third Prize
2022, ByteCTF (ByteDance SRC), National Ranking 50th
2022, Contemporary Undergraduate Mathematical Contest in Modeling, National Second Prize