所在学科

网络空间安全、软件工程

研究方向

区块链安全，大模型安全，软件安全

每年拟招收博士生1～2人，硕士生2～3人，同时也欢迎本学院的高年级本科生实习，感兴趣的同学请发送个人简历至邮件 (ye.liu@bit.edu.cn) 联系，主动性强、编程能力优秀者优先考虑。

个人简历

2026 – 至今北京理工大学，网络空间安全学院，准聘教授

2024 – 2026 新加坡管理大学，研究科学家

2023 – 2024 新加坡南洋理工大学，博士后

2019 – 2023 新加坡南洋理工大学，博士

2016 – 2019 北京航空航天大学，硕士

2012 – 2016 东北大学，本科

代表性论著

[1] Haijun Wang, Ye Liu, Yi Li, Shang-Wei Lin, Cyrille Artho, Lei Ma, and Yang Liu. Oracle-supported dynamic exploit generation for smart contracts. IEEE Transactions on Dependable and Secure Computing, 2020.

[2] Bo Jiang, Ye Liu, and WK Chan. Contractfuzzer: Fuzzing smart contracts for vulnerability detection. In 2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE), pages 259–269. IEEE, 2018.

[3] Ye Liu, Yi Li, Shang-Wei Lin, and Rong Zhao. Towards automated verification of smart contract fairness. In Proceedings of the 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE), pages 666–677, November 2020.

[4] Ye Liu, Yi Li, Shang-Wei Lin, and Cyrille Artho. Finding permission bugs in smart contracts with role mining. In Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, pages 716–727, July 2022.

[5] Chenguang Zhu, Ye Liu, Xiuheng Wu, and Yi Li. Identifying Solidity smart contract API documentation errors. In Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering (ASE),October 2022.

[6] Shang-Wei Lin, Palina Tolmach, Ye Liu, and Yi Li. SolSEE: A source-level symbolic execution engine for Solidity. In Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE), November 2022.

[7] Maoyi Xie, Ming Hu, Ziqiao Kong, Cen Zhang, Yebo Feng, Haijun Wang, Yue Xue, Hao Zhang, Ye Liu, and Yang Liu. Defort: Automatic detection and analysis of price manipulation attacks in defi applications. In Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, pages 402–414, 2024.

[8] Zhiyang Chen, Ye Liu, Sidi Mohamed Beillahi, Yi Li, and Fan Long. Demystifying invariant effectiveness for securing smart contracts. Proceedings of the ACM on Software Engineering, 1(FSE):1772–1795, 2024.

[9] Zhiyang Chen, Ye Liu, Sidi Mohamed Beillahi, Yi Li, and Fan Long. Opentracer: A dynamic transaction trace analyzer for smart contract invariant generation and beyond. In Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2024.

[10] Ye Liu, Yue Xue, Daoyuan Wu, Yuqiang Sun, Yi Li, Miaolei Shi, and Yang Liu. Propertygpt: LLM-driven formal verification of smart contracts through retrieval-augmented property generation. In Proceedings of the 32nd edition of the Network and Distributed System Security Symposium (NDSS), 2025.

[11] Ye Liu, Yixuan Liu, Yi Li, and Cyrille Artho. Specification mining for smart contracts with trace slicing and predicate abstraction. In Proceedings of the 2025 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2025.

[12] Wei Ma, Chenguang Zhu, Ye Liu, Xiaofei Xie, and Yi Li. A comprehensive study of governance issues in decentralized finance applications. ACM Transactions on Software Engineering and Methodology, 2025.

[13] Ziqiao Kong, Cen Zhang, Maoyi Xie, Ming Hu, Yue Xue, Ye Liu, Haijun Wang, and Yang Liu. Smart contract fuzzing towards profitable vulnerabilities. In Proceedings of the 32th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE), 2025.

[14] Zhiyuan Wei, Jing Sun, Yuqiang Sun, Ye Liu, Daoyuan Wu, Zijian Zhang, Xianhao Zhang, Meng Li, Yang Liu, Chunmiao Li, et al. Advanced smart contract vulnerability detection via LLM-powered multi-agent systems. IEEE Transactions on Software Engineering, 2025.

[15] Lyuye Zhang, Kaixuan Li, Kairan Sun, Daoyuan Wu, Ye Liu, Haoye Tian, and Yang Liu. Acfix: Guiding LLMs with mined common RBAC practices for context-aware repair of access control vulnerabilities in smart contracts. IEEE Transactions on Software Engineering, 2025.

[16] Zhaoqi Wang, Zijian Zhang, Zhen Li, Yan Wu, Ye Liu, Meng Li, Xin Li, Yong Liu, Jincheng An, Wei Liang, et al. Resisting poisoning attacks in federated learning via dual-domain distance and trust assessment. IEEE Transactions on Information Forensics and Security, 2025.

[17] Juantao Zhong, Daoyuan Wu, Ye Liu, Maoyi Xie, Yang Liu, Yi Li, and Ning Liu. Defiscope: Detecting various defi price manipulations with llm reasoning. In Proceedings of the IEEE/ACM International Conference on Automated Software Engineering (ASE), 2025.

[18] Ye Liu, Chengxuan Zhang, and Yi Li. Automated invariant generation for solidity smart contracts. IEEE Transactions on Dependable and Secure Computing, 2025

请访问个人主页(https://franklinliu.github.io/)获取完整的成果列表。

研究成果

长期从事区块链智能合约安全分析，开展软件测试、交易数据挖掘、区块链攻击监控以及大模型辅助的程序分析等技术研究工作，在CCF A类会议期刊累计发表学术论文20余篇，发表于NDSS、TDSC、TIFS、ASE、ISSTA、FSE、SANER、TSE、TOSEM等网络安全和软件工程国际期刊/会议。申请授权新加坡发明专利3项。以第一作者身份获得两个 CCF推荐A类会议杰出论文奖(NDSS`25,ISSTA`22)，此外还获得IEEE TCSE杰出论文奖(SANER`26，CCF推荐B类会议)和网络安全机器学习国际会议 ML4CS`25最佳论文奖。

学术兼职

担任多个知名的国际期刊和会议TDSC、TSE、TOSEM、ISSTA、ASE、EMSE、ASEJ、JSS等的审稿人/程序委员会委员。