Concepedia

Ye Liu

YL

13

Publications

1.1K

Citations

12

H-Index

2005

Active since

Affiliations

Nanyang Technological University(Current)

KTH Royal Institute of Technology

Ye Liu is an author at Nanyang Technological University specializing in engineering, computer science, and blockchain.

Top concepts

EngineeringComputer ScienceBlockchainData SecuritySmart ContractsFormal VerificationCryptographyProgram AnalysisSoftware TestingSoftware Analysis

Publications per year

2005–2025

13

Publications

13

ContractFuzzer: fuzzing smart contracts for vulnerability detection

Bo Jiang, Ye Liu, W. K. Chan · 2018 · 778 citations · Full text

Oracle-Supported Dynamic Exploit Generation for Smart Contracts

Haijun Wang, Ye Liu, Yi Li et al. · IEEE Transactions on Dependable and Secure Computing · 2020 · 65 citations

Engineering, Blockchain Transactions, Information Security +17

Finding permission bugs in smart contracts with role mining

Ye Liu, Yi Li, Shang‐Wei Lin et al. · 2022 · 52 citations

Engineering, Information Security, Software Engineering +21

PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation

Ye Liu, Yue Xue, Daoyuan Wu et al. · 2025 · 35 citations · Full text

ModCon: a model-based testing platform for smart contracts

Ye Liu, Yi Li, Shang‐Wei Lin et al. · 2020 · 32 citations

Engineering, Verification, Software Engineering +22

Rows per page

1–5 of 13