SmartState: Detecting State-Reverting Vulnerabilities in Smart Contracts via Fine-Grained State-Dependency Analysis. - Zeqin Liao; Sicheng Hao 001; Yuhong Nan; Zibin Zheng (ISSTA, 2023)

SmartCoCo: Checking Comment-Code Inconsistency in Smart Contracts via Constraint Propagation and Binding. - Sicheng Hao 001; Yuhong Nan; Zibin Zheng; Xiaohui Liu (ASE, 2023)

Towards Detecting Comment-Code Inconsistency in Smart Contract via Pre-Training Techniques. - Xiaohui Liu; Sicheng Hao 001; Lei Yang; Xiaohong Shi (SpaCCS, 2024)

SmartAxe: Detecting Cross-Chain Vulnerabilities in Bridge Smart Contracts via Fine-Grained Static Analysis. - Zeqin Liao; Yuhong Nan; Henglong Liang; Sicheng Hao 001; Juan Zhai; Jiajing Wu; Zibin Zheng (Proc. ACM Softw. Eng., 2024)

Augmenting Smart Contract Decompiler Output through Fine-grained Dependency Analysis and LLM-facilitated Semantic Recovery. - Zeqin Liao; Yuhong Nan; Zixu Gao; Henglong Liang; Sicheng Hao 001; Peifan Reng; Zibin Zheng (CoRR, 2025)