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

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

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

CLVUL: A contrastive learning framework for unified vulnerability detection, localization, and CWE classification with continual and zero-shot adaptation. - Lei Xiao 015; Yifan Wu; Yu Gao; Zibin Zheng; Yijie Cai; Ying Xing (J. Syst. Softw., 2026)