Liu Ye

Liu Ye

Research Scientist at SMU; yeliu[at]smu.edu.sg; Research Fellow and Ph.D. at NTU

Short bio

I am now a research scientist, supervised by Prof. David LO from Singapore Management University (SMU, Singapore). Before joining SMU, I was a research fellow at NTU. I received my Ph.D. in 2023 from School of Computer Science and Engineering, Nanyang Technological University (NTU, Singapore), supervised by Assoc. Prof. Li Yi and Prof. Liu Yang (co-supervisor). I received my M.Sc. in 2019 from Beihang Univeristy (BUAA, China), under the supervision of Prof Jiang Bo. My research interest includes but not limited to smart contract security and reliability, formal verification, and program analysis.

News

  • 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 Janunary, 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.