Publications论文列表

Research publications, in reverse chronological order.学术论文，按发表年份倒序排列。

2026

  1. OSDI ’26
    USEC: A User-Requirement-Driven Mandatory Access Control Framework for Operating Systems (Operational Systems)
    Yu Jiang, Wenhuan Liu, Fuchen Ma*, and 6 more authors

    Fuchen Ma · Corresponding author马福辰 · 通讯作者

    In 20th USENIX Symposium on Operating Systems Design and Implementation (OSDI 26), 2026
    HTML PDF
  2. DAC ’26
    RISCSmith: Finding RISC-V CPU Bugs via Rich Instruction Construction and On-the-fly Differential Analysis
    Xudong Zhang, Yuanliang Chen, Zehong Yu, and 4 more authors
    In Proceedings of the 63rd ACM/IEEE Design Automation Conference, 2026
    HTML PDF
  3. DAC ’26
    Finding Behavior Bugs in IoT Messaging Protocols with Automated Oracle Generation and Monitoring
    Qingpeng Du, Zhengxiong Luo, Yuanliang Chen, and 2 more authors
    In Proceedings of the 63rd ACM/IEEE Design Automation Conference, 2026
    HTML PDF
  4. OOPSLA ’26
    VeriEQ: Finding Verilog Simulators and Synthesizers Bugs with Equivalence Circuit Transformation
    Zhen Yan, Yuanliang Chen, Fuchen Ma, and 3 more authors
    Proceedings of the ACM on Programming Languages, 2026
    DOI PDF
  5. FSE ’26
    Eidolon: Perform Noise-Aware Fuzzing on FHE Libraries via Equivalence Expression Transformation
    Zhensheng Xian, Zhen Yan, Yuanliang Chen, and 4 more authors

    Fuchen Ma · Corresponding author马福辰 · 通讯作者

    Proceedings of the ACM on Software Engineering, 2026
    DOI PDF
  6. FSE ’26
    Protocol Reverse Engineering via Deep Transfer Learning
    Yanyang Zhao, Zhengxiong Luo, Wenlong Zhang, and 6 more authors
    Proceedings of the ACM on Software Engineering, 2026
    DOI PDF
  7. EuroSys ’26
    Fuzzing Enterprise-Grade Blockchain Systems: Industrial Practice and Solutions
    Fuchen Ma, Yuanliang Chen, Zhen Yan, and 3 more authors
    In the 21st European Conference on Computer Systems (EuroSys 26), Apr 2026
    DOI PDF
  8. S&P ’26
    Camveil: Unveiling Security Camera Vulnerabilities through Multi-Protocol Coordinated Fuzzing
    Fuchen Ma, Yuqiao Yang, Yuanliang Chen, and 3 more authors
    In 47th IEEE Symposium on Security and Privacy (IEEE S&P 26), Aug 2026
    DOI PDF

2025

  1. ASE ’25
    DualFuzz: Detecting Vulnerability in Wi-Fi NICs through Dual-Directional Fuzzing
    Yuanliang Chen, Fuchen Ma*, Yanyang Zhao, and 2 more authors

    Fuchen Ma · Corresponding author马福辰 · 通讯作者

    In the 40th IEEE/ACM International Conference on Automated Software Engineering (ASE 25), Nov 2025
    Distinguished Paper Award
    HTML PDF
  2. ASE ’25
    DNAFuzz: Descriptor-Aware Fuzzing for USB Drivers
    Zhengshu Wang, Peng He, Fuchen Ma, and 4 more authors
    In the 40th IEEE/ACM International Conference on Automated Software Engineering (ASE 25), Nov 2025
    DOI PDF
  3. USENIX Security ’25
    Finding Metadata Inconsistencies in Distributed File Systems via Cross-Node Operation Modeling
    Fuchen Ma, Yuanliang Chen, Yuanhang Zhou, and 3 more authors
    In 34th USENIX Security Symposium (USENIX Security 25), Aug 2025
    HTML PDF
  4. USENIX ATC ’25
    CAFault: Enhance Fault Injection Technique in Practical Distributed Systems via Abundant Fault-Dependent Configurations
    Yuanliang Chen, Fuchen Ma*, Yuanhang Zhou, and 2 more authors

    Fuchen Ma · Corresponding author马福辰 · 通讯作者

    In 2025 USENIX Annual Technical Conference (USENIX ATC 25), Jul 2025
    HTML PDF
  5. DAC ’25
    CMFuzz: Parallel Fuzzing of IoT Protocols by Configuration Model Identification and Scheduling
    Qi Xu, Fuchen Ma*, Yuanliang Chen, and 5 more authors

    Fuchen Ma · Corresponding author马福辰 · 通讯作者

    In Proceedings of the 62nd ACM/IEEE Design Automation Conference, 2025
    DOI PDF
  6. ICSE ’25
    Chord: Towards a Unified Detection of Blockchain Transaction Parallelism Bugs
    Yuanhang Zhou, Zhen Yan, Yuanliang Chen, and 3 more authors

    Fuchen Ma · Corresponding author马福辰 · 通讯作者

    In 2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE), 2025
    DOI PDF
  7. EuroSys ’25
    Themis: Finding Imbalance Failures in Distributed File Systems via a Load Variance Model
    Yuanliang Chen, Fuchen Ma*, Yuanhang Zhou, and 3 more authors

    Fuchen Ma · Corresponding author马福辰 · 通讯作者

    In Proceedings of the Twentieth European Conference on Computer Systems, 2025
    DOI PDF
  8. JoS ’25
    Survey on Dynamic Testing Technologies for Distributed Systems
    Yuanliang Chen, Fuchen Ma, Yuanhang Zhou, and 3 more authors
    Journal of Software, 2025
    分布式系统动态测试技术研究综述（中文）
    DOI HTML PDF

2024

  1. JCR ’24
    Overview of Cryptographic Library Fuzz Testing Techniques
    Fuchen Ma, Yuanhang Zhou, Yuanliang Chen, and 3 more authors
    Journal of Cryptologic Research, 2024
    密码算法库模糊测试技术研究综述（中文）
    DOI PDF
  2. ESEC/FSE ’24
    When fuzzing meets llms: Challenges and opportunities
    Yu Jiang, Jie Liang, Fuchen Ma, and 8 more authors
    In Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, 2024
    DOI PDF
  3. ICSE ’24
    Stop pulling my rug: Exposing rug pull risks in crypto token to investors
    Yuanhang Zhou, Jingxuan Sun, Fuchen Ma, and 3 more authors
    In Proceedings of the 46th International Conference on Software Engineering: Software Engineering in Practice, 2024
    DOI PDF
  4. S&P ’24
    Chronos: Finding Timeout Bugs in Practical Distributed Systems by Deep-Priority Fuzzing with Transient Delay
    Yuanliang Chen, Fuchen Ma, Yuanhang Zhou, and 3 more authors
    In 2024 IEEE Symposium on Security and Privacy (SP), 2024
    Fuchen Ma contributed equally to this work.
    DOI PDF

2023

  1. TOSEM ’24
    CLFuzz: Vulnerability detection of cryptographic algorithm implementation via semantic-aware fuzzing
    Yuanhang Zhou, Fuchen Ma, Yuanliang Chen, and 2 more authors
    ACM Transactions on Software Engineering and Methodology, 2023
    DOI PDF
  2. NDSS ’23
    LOKI: State-Aware Fuzzing Framework for the Implementation of Blockchain Consensus Protocols.
    Fuchen Ma, Yuanliang Chen, Meng Ren, and 5 more authors
    In Proceedings of the 2023 Network and Distributed System Security Symposium, 2023
    DOI PDF
  3. CCS ’23
    Phoenix: Detect and locate resilience issues in blockchain via context-sensitive chaos
    Fuchen Ma, Yuanliang Chen, Yuanhang Zhou, and 5 more authors
    In Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023
    DOI PDF
  4. S&P ’23
    Tyr: Finding consensus failure bugs in blockchain system with behaviour divergent model
    Yuanliang Chen, Fuchen Ma, Yuanhang Zhou, and 3 more authors
    In 2023 IEEE Symposium on Security and Privacy (SP), 2023
    DOI PDF
  5. TOSEM ’23
    Pied-piper: Revealing the backdoor threats in ethereum erc token contracts
    Fuchen Ma, Meng Ren, Lerong Ouyang, and 7 more authors
    ACM Transactions on Software Engineering and Methodology, 2023
    DOI PDF
  6. TOSEM ’23
    Scanner++: Enhanced Vulnerability Detection of Web Applications with Attack Intent Synchronization
    Zijing Yin, Yiwen Xu, Fuchen Ma, and 3 more authors
    ACM Transactions on Software Engineering and Methodology, 2023
    DOI PDF
  7. TOIT ’23
    V-Gas: Generating high gas consumption inputs to avoid out-of-gas vulnerability
    Fuchen Ma, Meng Ren, Fu Ying, and 5 more authors
    ACM Transactions on Internet Technology, 2023
    DOI PDF

2021

  1. TSE ’21
    Pluto: Exposing vulnerabilities in inter-contract scenarios
    Fuchen Ma, Zhenyang Xu, Meng Ren, and 7 more authors
    IEEE Transactions on Software Engineering, 2021
    DOI PDF
  2. ESEC/FSE ’21
    Making smart contract development more secure and easier
    Meng Ren, Fuchen Ma, Zijing Yin, and 4 more authors
    In Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021
    DOI PDF
  3. ISSTA ’21
    Scstudio: a secure and efficient integrated development environment for smart contracts
    Meng Ren, Fuchen Ma, Zijing Yin, and 4 more authors
    In Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021
    DOI PDF
  4. ISSTA ’21
    Empirical evaluation of smart contract testing: What is the best choice?
    Meng Ren, Zijing Yin, Fuchen Ma, and 5 more authors
    In Proceedings of the 30th ACM SIGSOFT international symposium on software testing and analysis, 2021
    DOI PDF
  5. IPM ’21
    Security reinforcement for Ethereum virtual machine
    Fuchen Ma*, Meng Ren, Ying Fu, and 4 more authors

    Fuchen Ma · Corresponding author马福辰 · 通讯作者

    Information Processing & Management, 2021
    DOI PDF
  6. ICSE ’21
    Intelligen: Automatic driver synthesis for fuzz testing
    Mingrui Zhang, Jianzhong Liu, Fuchen Ma, and 2 more authors
    In 2021 IEEE/ACM 43rd International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP), 2021
    DOI PDF
  7. ICST ’21
    Poster: Fuzz testing of quantum program
    Jiyuan Wang, Fucheng Ma, and Yu Jiang
    In 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST), 2021
    DOI PDF

2019

  1. ESEC/FSE ’19
    Evmfuzzer: detect evm vulnerabilities via fuzz testing
    Ying Fu, Meng Ren, Fuchen Ma, and 5 more authors
    In Proceedings of the 2019 27th ACM joint meeting on european software engineering conference and symposium on the foundations of software engineering, 2019
    DOI PDF
  2. SANER ’19
    EVM*: From offline detection to online reinforcement for Ethereum virtual machine
    Fuchen Ma, Ying Fu, Meng Ren, and 5 more authors
    In 2019 IEEE 26th International Conference on Software Analysis, Evolution and Reengineering (SANER), 2019
    DOI PDF
  3. USENIX Security ’19
    EnFuzz: Ensemble Fuzzing with Seed Synchronization among Diverse Fuzzers
    Yuanliang Chen, Yu Jiang, Fuchen Ma, and 5 more authors
    In 28th USENIX Security Symposium (USENIX Security 19), Aug 2019
    HTML PDF