DeFort: Automatic Detection and Analysis of Price Manipulation Attacks in DeFi Applications. - Maoyi Xie; Ming Hu 003; Ziqiao Kong; Cen Zhang; Yebo Feng; Haijun Wang 002; Yue Xue; Hao Zhang 004; Ye Liu 012; Yang Liu 003 (ISSTA, 2024)

Smart Contract Fuzzing Towards Profitable Vulnerabilities. - Ziqiao Kong; Cen Zhang; Maoyi Xie; Ming Hu 003; Yue Xue; Ye Liu 012; Haijun Wang 002; Yang Liu 003 (Proc. ACM Softw. Eng., 2025)

Materials of "Smart Contract Fuzzing Towards Profitable Vulnerabilities". - Ziqiao Kong; Cen Zhang; Maoyi Xie; Ming Hu 003; Yue Xue; Ye Liu 012; Haijun Wang 002; Yang Liu 003 (Zenodo, 2025)

DeFiScope: Detecting Various DeFi Price Manipulations with LLM Reasoning. - Juantao Zhong; Daoyuan Wu; Ye Liu 012; Maoyi Xie; Yang Liu 003; Yi Li 008; Ning Liu (CoRR, 2025)