publications

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

2025

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