Liu Ye

Liu Ye

Professor at BIT, ye.liu@bit.edu.cn;

I am a tenure-track Professor from the School of Cyberspace Science and Technology, Beijing Institute of Technology (BIT), China. Prior to that, I was a research scientist, advised by Prof. David LO from Singapore Management University (SMU, Singapore). Before joining SMU, I was a research fellow at NTU. I earned my Ph.D. in 2023 from School of Computer Science and Engineering, Nanyang Technological University, Singapore, mentored by Assoc. Prof. Li Yi and Prof. Liu Yang. I received my M.Sc. from Beihang Univeristy in 2019, under the supervision of Prof. Jiang Bo, and obtained my B.Sc. from Northeastern University (China) in 2016.

My research interest includes but not limited to program/runtime analysis techniques for ensuring the security and reliability of decentralized applications. My research has been published in top-tier conferences and journals, including FSE, TSE, NDSS, ISSTA, TDSC, TIFS, TOSEM, etc. I have also received several awards for my research, including the IEEE TCSE Distinguished Paper Award (SANER'26), the NDSS Distinguished Paper Award (NDSS'25), and the ACM SIGSOFT Distinguished Paper Award (ISSTA'22). I am also actively involved in the research community, serving as a program committee member or reviewer for several top-tier conferences and journals, including ISSTA, TOSEM, TSE, etc.

I am always happy to hear from motivated students and collaborators. If your interests connect with blockchain, software security, or decentralized applications, please send me a short email with your background and research interests.

News

  • 2026/3, One paper "Automated Repair of TEE Partitioning Issues via DSL-Guided and LLM-Assisted Patching" has been accepted by The ACM International Conference on the Foundations of Software Engineering (FSE 2026). Congrats to Chengyan and all the co-authors!
  • 2026/2, One paper "Towards Secure Program Partitioning for Smart Contracts with LLM’s In-Context Learning" has been accepted by IEEE Transactions on Software Engineering.
  • 2026/2, Won the IEEE TCSE Distinguished Paper Award at SANER 2026 for the paper "What You Trust Is Insecure: Demystifying How Developers (Mis)Use Trusted Execution Environments in Practice". Congrats to Yuqing and all the co-authors!
  • 2026/2, One paper "PatchGPT: Multi-Agent Patch Backporting without Model Fine-Tuning"has been accepted by IEEE/ACM Third International Conference on AI Foundation Models and Software Engineering (FORGE'26)
  • 2025/12, “AgentGuard: An Active Threat Discovery System for Package Confusion using Multi-Agent Collaboration” is accepted by ML4CS and won Best Paper Award. Congrats to Wei Ma and all the co-authors!
  • 2025/12, “What You Trust Is Insecure: Demystifying How Developers (Mis)Use Trusted Execution Environments in Practice” is accepted by SANER. Congrats to Yuqing and all the co-authors!
  • 2025/11, Invited to serve as PC of ISSTA 2026. Welcome to submit your papers! (deadline: 29th January, AoE time)
  • 2025/8, “Advanced Smart Contract Vulnerability Detection via LLM-Powered Multi-Agent Systems” is accepted by TSE. Congrats to Zhiyuan and all the co-authors!
  • 2025/7, “Resisting Poisoning Attacks in Federated Learning via Dual-Domain Distance and Trust Assessment” is accepted by TIFS.
  • 2025/7, “ACFix: Guiding LLMs with Mined Common RBAC Practices for Context-Aware Repair of Access Control Vulnerabilities in Smart Contracts” is accepted by TSE.
  • 2025/7, “Automated Invariant Generation for Solidity Smart Contracts” is accepted by TDSC.
  • 2025/1, won NDSS Distinguished Paper Award Congrats to all the co-authors!
  • 2025/1, “A Comprehensive Study of Governance Issues in Decentralized Finance Applications” is accepted by TOSEM.
  • 2025/1, “Smart Contract Fuzzing Towards Profitable Vulnerabilities” is accepted by FSE.
  • 2024/11, “Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction” is accepted by SANER 2025.
  • 2024/9, “PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation” is accepted by NDSS 2025.
  • 2024/8, “OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond” is accepted by ASE 2024 demo track.
  • 2024/5, Research Scientist at SMU.
  • 2024/3, “Demystifying Invariant Effectiveness for Securing Smart Contracts” is accepted by FSE 2024.
  • 2024/3, “DeFort: Automatic Detection and Analysis of Price Manipulation Attacks in DeFi Applications” is accepted by ISSTA 2024.
  • 2023/7, Research Fellow at NTU.
  • 2023/6/30, Receive the Ph.D. from NTU.