Towards automated verification of smart contract fairness. - Ye Liu 012; Yi Li 008; Shang-Wei Lin 001; Rong Zhao (ESEC/SIGSOFT FSE, 2020)

ModCon: a model-based testing platform for smart contracts. - Ye Liu 012; Yi Li 008; Shang-Wei Lin 001; Qiang Yan 001 (ESEC/SIGSOFT FSE, 2020)

Finding permission bugs in smart contracts with role mining. - Ye Liu 012; Yi Li 008; Shang-Wei Lin 001; Cyrille Artho (ISSTA, 2022)

Identifying Solidity Smart Contract API Documentation Errors. - Chenguang Zhu 002; Ye Liu 012; Xiuheng Wu; Yi Li 008 (ASE, 2022)

A Unified Specification Mining Framework for Smart Contracts. - Ye Liu 012 (ASE, 2022)

InvCon: A Dynamic Invariant Detector for Ethereum Smart Contracts. - Ye Liu 012; Yi Li 008 (ASE, 2022)

SolSEE: a source-level symbolic execution engine for solidity. - Shang-Wei Lin 001; Palina Tolmach; Ye Liu 012; Yi Li 008 (ESEC/SIGSOFT FSE, 2022)

Oracle-Supported Dynamic Exploit Generation for Smart Contracts. - Haijun Wang 002; Ye Liu 012; Yi Li 008; Shangwei Lin 001; Cyrille Artho; Lei Ma 003; Yang Liu 003 (IEEE Trans. Dependable Secur. Comput., 2022)

On security and reliability of smart contracts: the applications of dynamic specification mining on solidity - Ye Liu 012 (2023)

DeFort: Automatic Detection and Analysis of Price Manipulation Attacks in DeFi Applications. - Maoyi Xie; Ming Hu 003; Ziqiao Kong; Cen Zhang; Yebo Feng; Haijun Wang 002; Yue Xue; Hao Zhang 004; Ye Liu 012; Yang Liu 003 (ISSTA, 2024)

OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond. - Zhiyang Chen 004; Ye Liu 012; Sidi Mohamed Beillahi; Yi Li 008; Fan Long (ASE, 2024)

Automated Invariant Generation for Solidity Smart Contracts. - Ye Liu 012; Chengxuan Zhang; Yi Li 008 (CoRR, 2024)

ACFIX: Guiding LLMs with Mined Common RBAC Practices for Context-Aware Repair of Access Control Vulnerabilities in Smart Contracts. - Lyuye Zhang; Kaixuan Li 002; Kairan Sun; Daoyuan Wu; Ye Liu 012; Haoye Tian; Yang Liu 003 (CoRR, 2024)

Demystifying the Characteristics for Smart Contract Upgrades. - Ye Liu 012; Shuo Li; Xiuheng Wu; Yi Li 008; Zhiyang Chen 004; David Lo 001 (CoRR, 2024)

Demystifying Invariant Effectiveness for Securing Smart Contracts. - Zhiyang Chen 004; Ye Liu 012; Sidi Mohamed Beillahi; Yi Li 008; Fan Long (Proc. ACM Softw. Eng., 2024)

PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation. - Ye Liu 012; Yue Xue; Daoyuan Wu; Yuqiang Sun 001; Yi Li 008; Miaolei Shi; Yang Liu 003 (NDSS, 2025)

Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction. - Ye Liu 012; Yixuan Liu; Yi Li 008; Cyrille Artho (SANER, 2025)

Smart Contract Fuzzing Towards Profitable Vulnerabilities. - Ziqiao Kong; Cen Zhang; Maoyi Xie; Ming Hu 003; Yue Xue; Ye Liu 012; Haijun Wang 002; Yang Liu 003 (Proc. ACM Softw. Eng., 2025)

Materials of "Smart Contract Fuzzing Towards Profitable Vulnerabilities". - Ziqiao Kong; Cen Zhang; Maoyi Xie; Ming Hu 003; Yue Xue; Ye Liu 012; Haijun Wang 002; Yang Liu 003 (Zenodo, 2025)

DeFiScope: Detecting Various DeFi Price Manipulations with LLM Reasoning. - Juantao Zhong; Daoyuan Wu; Ye Liu 012; Maoyi Xie; Yang Liu 003; Yi Li 008; Ning Liu (CoRR, 2025)

AutoTEE: Automated Migration and Protection of Programs in Trusted Execution Environments. - Ruidong Han; Zhou Yang 003; Chengyan Ma 001; Ye Liu 012; Yuqing Niu; Siqi Ma; Debin Gao; David Lo 001 (CoRR, 2025)

Towards Secure Program Partitioning for Smart Contracts with LLM's In-Context Learning. - Ye Liu 012; Yuqing Niu; Chengyan Ma 001; Ruidong Han; Wei Ma; Yi Li 008; Debin Gao; David Lo 001 (CoRR, 2025)

DITING: A Static Analyzer for Identifying Bad Partitioning Issues in TEE Applications. - Chengyan Ma 001; Ruidong Han; Ye Liu 012; Yuqing Niu; Di Lu 001; Chuang Tian; Jianfeng Ma 001; Debin Gao; David Lo 001 (CoRR, 2025)

A Comprehensive Study of Governance Issues in Decentralized Finance Applications. - Wei Ma; Chenguang Zhu 002; Ye Liu 012; Xiaofei Xie; Yi Li 008 (ACM Trans. Softw. Eng. Methodol., 2025)