publications

publications by categories in reversed chronological order. generated by jekyll-scholar.

2025

  1. DAC ’25
    CMFuzz: Parallel Fuzzing of IoT Protocols by Configuration Model Identification and Scheduling
    Qi Xu, Fuchen Ma, Yuanliang Chen, and 5 more authors
    In Proceedings of the 62st ACM/IEEE Design Automation Conference, 2025
  2. ICSE ’25
    Chord: Towards a Unified Detection of Blockchain Transaction Parallelism Bugs
    Yuanhang Zhou, Zhen Yan, Yuanliang Chen, and 3 more authors
    In Proceedings of the 47th International Conference on Software Engineering: Software Engineering in Practice, 2025
  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
  4. 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
    Aug 2025

2024

  1. 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, Aug 2024
  2. 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, Aug 2024
  3. 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), Aug 2024

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, Aug 2023
  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, Aug 2023
  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, Aug 2023
  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), Aug 2023
  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, Aug 2023
  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, Aug 2023
  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, Aug 2023

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, Aug 2021
  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, Aug 2021
  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, Aug 2021
  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, Aug 2021
  5. IPM ’21
    Security reinforcement for Ethereum virtual machine
    Fuchen Ma, Meng Ren, Ying Fu, and 4 more authors
    Information Processing & Management, Aug 2021
  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), Aug 2021
  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), Aug 2021

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, Aug 2019
  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), Aug 2019
  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