EVMFuzzer: detect EVM vulnerabilities via fuzz testing. - Ying Fu; Meng Ren; Fuchen Ma; Heyuan Shi; Xin Yang; Yu Jiang 001; Huizhong Li; Xiang Shi (ESEC/SIGSOFT FSE, 2019)

EnFuzz: Ensemble Fuzzing with Seed Synchronization among Diverse Fuzzers. - Yuanliang Chen; Yu Jiang 001; Fuchen Ma; Jie Liang 006; Mingzhe Wang; Chijin Zhou; Xun Jiao; Zhuo Su 005 (USENIX Security Symposium, 2019)

EVM*: From Offline Detection to Online Reinforcement for Ethereum Virtual Machine. - Fuchen Ma; Ying Fu; Meng Ren; Mingzhe Wang; Yu Jiang 001; Kaixiang Zhang; Huizhong Li; Xiang Shi (SANER, 2019)

EVMFuzz: Differential Fuzz Testing of Ethereum Virtual Machine. - Ying Fu; Meng Ren; Fuchen Ma; Yu Jiang 001; Heyuan Shi; Jiaguang Sun 001 (CoRR, 2019)

GasFuzz: Generating High Gas Consumption Inputs to Avoid Out-of-Gas Vulnerability. - Fuchen Ma; Ying Fu; Meng Ren; Wanting Sun; Zhe Liu 001; Yu Jiang 001; Jun Sun 001; Jiaguang Sun 001 (CoRR, 2019)

IntelliGen: Automatic Driver Synthesis for Fuzz Testing. - Mingrui Zhang; Jianzhong Liu; Fuchen Ma; Huafeng Zhang; Yu Jiang 001 (ICSE (SEIP), 2021)

Poster: Fuzz Testing of Quantum Program. - Jiyuan Wang; Fuchen Ma; Yu Jiang 001 (ICST, 2021)

SCStudio: a secure and efficient integrated development environment for smart contracts. - Meng Ren; Fuchen Ma; Zijing Yin; Huizhong Li; Ying Fu; Ting Chen 002; Yu Jiang 001 (ISSTA, 2021)

Empirical evaluation of smart contract testing: what is the best choice? - Meng Ren; Zijing Yin; Fuchen Ma; Zhenyang Xu; Yu Jiang 001; Chengnian Sun; Huizhong Li; Yan Cai 001 (ISSTA, 2021)

Making smart contract development more secure and easier. - Meng Ren; Fuchen Ma; Zijing Yin; Ying Fu; Huizhong Li; Wanli Chang 001; Yu Jiang 001 (ESEC/SIGSOFT FSE, 2021)

IntelliGen: Automatic Driver Synthesis for FuzzTesting. - Mingrui Zhang; Jianzhong Liu; Fuchen Ma; Huafeng Zhang; Yu Jiang 001 (CoRR, 2021)

Security reinforcement for Ethereum virtual machine. - Fuchen Ma; Meng Ren; Ying Fu; Mingzhe Wang; Huizhong Li; Houbing Song; Yu Jiang 001 (Inf. Process. Manag., 2021)

Pluto: Exposing Vulnerabilities in Inter-Contract Scenarios. - Fuchen Ma; Zhenyang Xu; Meng Ren; Zijing Yin; Yuanliang Chen; Lei Qiao 002; Bin Gu 006; Huizhong Li; Yu Jiang 001; Jia-Guang Sun 001 (IEEE Trans. Software Eng., 2022)

Phoenix: Detect and Locate Resilience Issues in Blockchain via Context-Sensitive Chaos. - Fuchen Ma; Yuanliang Chen; Yuanhang Zhou; Jingxuan Sun; Zhuo Su 005; Yu Jiang 001; Jiaguang Sun 001; Huizhong Li (CCS, 2023)

LOKI: State-Aware Fuzzing Framework for the Implementation of Blockchain Consensus Protocols. - Fuchen Ma; Yuanliang Chen; Meng Ren; Yuanhang Zhou; Yu Jiang 001; Ting Chen 002; Huizhong Li; Jiaguang Sun 001 (NDSS, 2023)

Tyr: Finding Consensus Failure Bugs in Blockchain System with Behaviour Divergent Model. - Yuanliang Chen; Fuchen Ma; Yuanhang Zhou; Yu Jiang 001; Ting Chen 002; Jia-Guang Sun 001 (SP, 2023)

Scanner++: Enhanced Vulnerability Detection of Web Applications with Attack Intent Synchronization. - Zijing Yin; Yiwen Xu; Fuchen Ma; Haohao Gao; Lei Qiao 002; Yu Jiang 001 (ACM Trans. Softw. Eng. Methodol., 2023)

Pied-Piper: Revealing the Backdoor Threats in Ethereum ERC Token Contracts. - Fuchen Ma; Meng Ren; Lerong Ouyang; Yuanliang Chen; Juan Zhu; Ting Chen 002; Yingli Zheng; Xiao Dai; Yu Jiang 001; Jiaguang Sun 001 (ACM Trans. Softw. Eng. Methodol., 2023)

V-Gas: Generating High Gas Consumption Inputs to Avoid Out-of-Gas Vulnerability. - Fuchen Ma; Meng Ren; Ying Fu; Wanting Sun; Houbing Song; Heyuan Shi; Yu Jiang 001; Huizhong Li (ACM Trans. Internet Techn., 2023)

Stop Pulling my Rug: Exposing Rug Pull Risks in Crypto Token to Investors. - Yuanhang Zhou; Jingxuan Sun; Fuchen Ma; Yuanliang Chen; Zhen Yan; Yu Jiang 001 (ICSE-SEIP, 2024)

When Fuzzing Meets LLMs: Challenges and Opportunities. - Yu Jiang 001; Jie Liang 006; Fuchen Ma; Yuanliang Chen; Chijin Zhou; Yuheng Shen; Zhiyong Wu 010; Jingzhou Fu; Mingzhe Wang; Shanshan Li 001; Quan Zhang (SIGSOFT FSE Companion, 2024)

Chronos: Finding Timeout Bugs in Practical Distributed Systems by Deep-Priority Fuzzing with Transient Delay. - Yuanliang Chen; Fuchen Ma; Yuanhang Zhou; Ming Gu 001; Qing Liao 001; Yu Jiang 001 (SP, 2024)

CLFuzz: Vulnerability Detection of Cryptographic Algorithm Implementation via Semantic-aware Fuzzing. - Yuanhang Zhou; Fuchen Ma; Yuanliang Chen; Meng Ren; Yu Jiang 001 (ACM Trans. Softw. Eng. Methodol., 2024)

EVMFuzz: Differential fuzz testing of Ethereum virtual machine. - Ying Fu; Meng Ren; Fuchen Ma; Xin Yang; Heyuan Shi; Shanshan Li 001; Xiangke Liao (J. Softw. Evol. Process., 2024)

Themis: Finding Imbalance Failures in Distributed File Systems via a Load Variance Model. - Yuanliang Chen; Fuchen Ma; Yuanhang Zhou; Zhen Yan; Qing Liao 001; Yu Jiang 001 (EuroSys, 2025)

Chord: Towards a Unified Detection of Blockchain Transaction Parallelism Bugs. - Yuanhang Zhou; Zhen Yan; Yuanliang Chen; Fuchen Ma; Ting Chen; Yu Jiang (ICSE, 2025)

PeachCI: Scalable Continuous Integration of Generation-Based Protocol Fuzzing. - Wanli Chen; Yuanliang Chen; Fuchen Ma; Ruikang Peng; Qi Xu; Yu Jiang 001; Qiang Fu; Heyuan Shi (SIGSOFT FSE Companion, 2025)

CAFault: Enhance Fault Injection Technique in Practical Distributed Systems via Abundant Fault-Dependent Configurations. - Yuanliang Chen; Fuchen Ma; Yuanhang Zhou; Zhen Yan; Yu Jiang 001 (USENIX ATC, 2025)