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)

An Empirical Study on Embodied Artificial Intelligence Robot (EAIR) Software Bugs. - Zeqin Liao; Zibin Zheng; Peifan Reng; Henglong Liang; Zixu Gao; Zhixiang Chen 016; Wei Li 121; Yuhong Nan (CoRR, 2025)