Publications

1. Detecting State Inconsistency Bugs in DApps via On-Chain Transaction Replay and Fuzzing.
   Mingxi Ye, Yuhong Nan, Zibin Zheng, Dongpeng Wu, Huizhong Li.
   International Symposium on Software Testing and Analysis (ISSTA), July 2023. [TOP] [CCF-A].
   

2. Midas: Mining Profitable Exploits in On-Chain Smart Contracts via Feedback-Driven Fuzzing and Differential Analysis.
   Mingxi Ye, Xingwei Lin, Yuhong Nan, Jiajing Wu, Zibin Zheng.
   International Symposium on Software Testing and Analysis (ISSTA), September 2024. [TOP] [CCF-A].
   

3. FunFuzz: A Function-oriented Fuzzer for Smart Contract Vulnerability Detection with High Effectiveness and Efficiency.
   Mingxi Ye, Yuhong Nan, Hong-Ning Dai, Shuo Yang, Zibin Zheng, Xiapu Luo.
   Transactions on Software Engineering and Methodology (TOSEM). [TOP] [CCF-A].
   

4. DAppSCAN: Building Large-Scale Datasets for Smart Contract Weaknesses in DApp Projects.
   Zibin Zheng, Jianzhong Su, Jiachi Chen, David Lo, Zhijie Zhong, Mingxi Ye.
   Transactions on Software Engineering (TSE). [TOP] [CCF-A].
   

5. Turn the Rudder: A Beacon of Reentrancy Detection for Smart Contracts on Ethereum.
   Zibin Zheng, Neng Zhang, Jianzhong Su, Zhijie Zhong, Mingxi Ye, Jiachi Chen.
   International Conference on Software Engineering (ICSE), May 2023. [TOP] [CCF-A].
   

6. SmartReco: Detecting Read-Only Reentrancy via Fine-Grained Cross-DApp Analysis.
   Jingwen Zhang, Zibin Zheng, Yuhong Nan, Mingxi Ye, Kaiwen Ning, Yu Zhang, Weizhe Zhang.
   International Conference on Software Engineering (ICSE), 2025. [TOP] [CCF-A].