WaLi: Control-Flow-Based Analysis of Wasm Smart Contracts. - Shuo Yang 012; Huizhong Li; Zibin Zheng (BlockSys, 2022)

Definition and Detection of Defects in NFT Smart Contracts. - Shuo Yang 012; Jiachi Chen; Zibin Zheng (ISSTA, 2023)

Towards Understanding Crypto Money Laundering in Web3 Through the Lenses of Ethereum Heists. - Dan Lin 007; Jiajing Wu; Qishuang Fu; Yunmei Yu; Kaixin Lin; Zibin Zheng; Shuo Yang 012 (CoRR, 2023)

Uncover the Premeditated Attacks: Detecting Exploitable Reentrancy Vulnerabilities by Identifying Attacker Contracts. - Shuo Yang 012; Jiachi Chen; Mingyuan Huang; Zibin Zheng; Yuan Huang 002 (ICSE, 2024)

Toward Understanding Asset Flows in Crypto Money Laundering Through the Lenses of Ethereum Heists. - Jiajing Wu; Dan Lin 007; Qishuang Fu; Shuo Yang 012; Ting Chen 002; Zibin Zheng; Bowen Song (IEEE Trans. Inf. Forensics Secur., 2024)

FunFuzz: A Function-Oriented Fuzzer for Smart Contract Vulnerability Detection with High Effectiveness and Efficiency. - Mingxi Ye; Yuhong Nan; Hong-Ning Dai; Shuo Yang 012; Xiapu Luo; Zibin Zheng (ACM Trans. Softw. Eng. Methodol., 2024)

Hyperion: Unveiling DApp Inconsistencies Using LLM and Dataflow-Guided Symbolic Execution. - Shuo Yang 012; Xingwei Lin; Jiachi Chen; Qingyuan Zhong; Lei Xiao; Renke Huang; Yanlin Wang 001; Zibin Zheng (ICSE, 2025)

WakeMint: Detecting Sleepminting Vulnerabilities in NFT Smart Contracts. - Lei Xiao; Shuo Yang 012; Wen Chen; Zibin Zheng (SANER, 2025)

NumScout: Unveiling Numerical Defects in Smart Contracts Using LLM-Pruning Symbolic Execution. - Jiachi Chen; Zhenzhe Shao; Shuo Yang 012; Yiming Shen; Yanlin Wang 001; Ting Chen 002; Zhenyu Shan; Zibin Zheng (IEEE Trans. Software Eng., 2025)

Artifact of "Who is Pulling the Strings: Unveiling Smart Contract State Manipulation Attacks through State-Aware Dataflow Analysis". - Shuo Yang 012 (Zenodo, 2025)

Artifact of "Who is Pulling the Strings: Unveiling Smart Contract State Manipulation Attacks through State-Aware Dataflow Analysis". - Shuo Yang 012 (Zenodo, 2025)

Who Is Pulling the Strings: Unveiling Smart Contract State Manipulation Attacks Through State-Aware Dataflow Analysis. - Shuo Yang 012; Jiachi Chen; Lei Xiao; Jinyuan Hu; Dan Lin 007; Jiajing Wu; Tao Zhang 001; Zibin Zheng (IEEE Trans. Software Eng., 2025)