Publications

1. ChainDelta: Automatic Patch-based Exploit Generation for Ethereum with Fuzzing Agents.
   Mingxi Ye, Yuhong Nan, Zhijie Zhong, Jianzhong Su, Xingwei Lin, Peilin Zheng, Zibin Zheng.
   International Conference on the Foundations of Software Engineering (FSE). [CCF-A].
   

2. Towards Understanding Functional Bugs in EVM-based Blockchain Systems.
   Mingxi Ye, Yuhong Nan, Jianzhong Su, Zhijie Zhong, Yuming Xiao, Peilin Zheng.
   IEEE Transactions on Software Engineering (TSE). [CCF-A].
   

3. 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). [CCF-A].
   

4. 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). [CCF-A].
   

5. 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.
   ACM Transactions on Software Engineering and Methodology (TOSEM). [CCF-A].
   

6. ParityFuzz: Finding inconsistencies across solidity compilers via fine-grained mutation and differential analysis.
   Bowei Su, Mingxi Ye, Yuhong Nan, Peilin Zheng, Zibin Zheng.
   Journal of Systems and Software.
   

7. Odyssey: Hunting Smart Contract Vulnerabilities with Fine-grained State Modeling and Exploration.
   Jianzhong Su, Mingxi Ye, Jiachi Chen, Yuhong Nan, Peilin Zheng, Tao Zhang, Zibin Zheng.
   International Conference on the Foundations of Software Engineering (FSE). [CCF-A].
   

8. RPCSpecter: Detecting Blockchain RPC Bugs through a Specification-Driven, Constraint-Aware Fuzzing Approach.
   Yuming Xiao, Yuhong Nan, Zhijie Zhong, Mingxi Ye, Zibin Zheng.
   International Symposium on Software Testing and Analysis (ISSTA). [CCF-A].
   

9. Is My RPC Response Reliable? Detecting RPC Bugs in Blockchain Client under Context.
   Zhijie Zhong, Yuhong Nan, Mingxi Ye, Qing Xue, Jiashui Wang, Long Liu, Xinlei Ying, Zibin Zheng.
   International Conference on Software Engineering (ICSE). [CCF-A].
   

10. ASTRO: Detecting Access Control Vulnerabilities in Smart Contracts via Graph Similarity Comparison.
    Wei Li, Yuhong Nan, Mingxi Ye, Jingwen Zhang, Peilin Zheng, Zibin Zheng.
    IEEE Transactions on Software Engineering (TSE). [CCF-A].
    

11. 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). [CCF-A].
    

12. V2E: Validating Smart Contract Vulnerabilities through Profit-driven Exploit Generation and Execution.
    Jianwen Zhang, Yuhong Nan, Kaiwen Ning, Mingxi Ye, Wei Li, Yuming Xiao, Yuming Feng, Weizhe Zhang, Zibin Zheng.
    International Conference on the Foundations of Software Engineering (FSE). [CCF-A].
    

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

14. 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). [CCF-A].