Follow
Fuchen Ma
Fuchen Ma
Verified email at mails.tsinghua.edu.cn - Homepage
Title
Cited by
Cited by
Year
EnFuzz: Ensemble Fuzzing with Seed Synchronization among Diverse Fuzzers.
Y Chen, Y Jiang, F Ma, J Liang, M Wang, C Zhou, X Jiao, Z Su
USENIX Security Symposium, 1967-1983, 2019
1392019
Evmfuzzer: detect evm vulnerabilities via fuzz testing
Y Fu, M Ren, F Ma, H Shi, X Yang, Y Jiang, H Li, X Shi
Proceedings of the 2019 27th ACM joint meeting on european software …, 2019
98*2019
Empirical evaluation of smart contract testing: what is the best choice?
M Ren, Z Yin, F Ma, Z Xu, Y Jiang, C Sun, H Li, Y Cai
Proceedings of the 30th ACM SIGSOFT International Symposium on Software …, 2021
592021
EVM*: From Offline Detection to Online Reinforcement for Ethereum Virtual Machine
F Ma, Y Fu, M Ren, M Wang, Y Jiang, K Zhang, H Li, X Shi
2019 IEEE 26th International Conference on Software Analysis, Evolution and …, 2019
562019
Making smart contract development more secure and easier
M Ren, F Ma, Z Yin, Y Fu, H Li, W Chang, Y Jiang
Proceedings of the 29th ACM Joint Meeting on European Software Engineering …, 2021
232021
Security reinforcement for Ethereum virtual machine
F Ma, M Ren, Y Fu, M Wang, H Li, H Song, Y Jiang
Information Processing & Management 58 (4), 102565, 2021
232021
V-Gas: Generating High Gas Consumption Inputs to Avoid Out-of-Gas Vulnerability
F Ma, M Ren, F Ying, W Sun, H Song, H Shi, Y Jiang, H Li
ACM Transactions on Internet Technology (TOIT), 2022
22*2022
Pluto: Exposing vulnerabilities in inter-contract scenarios
F Ma, Z Xu, M Ren, Z Yin, Y Chen, L Qiao, B Gu, H Li, Y Jiang, J Sun
IEEE Transactions on Software Engineering 48 (11), 4380-4396, 2021
222021
IntelliGen: automatic driver synthesis for fuzz testing
M Zhang, J Liu, F Ma, H Zhang, Y Jiang
2021 IEEE/ACM 43rd International Conference on Software Engineering …, 2021
22*2021
Poster: Fuzz Testing of Quantum Program
J Wang, F Ma, Y Jiang
2021 14th IEEE Conference on Software Testing, Verification and Validation …, 2021
172021
Pied-piper: Revealing the backdoor threats in ethereum erc token contracts
F Ma, M Ren, L Ouyang, Y Chen, J Zhu, T Chen, Y Zheng, X Dai, Y Jiang, ...
ACM Transactions on Software Engineering and Methodology 32 (3), 1-24, 2023
142023
Tyr: Finding consensus failure bugs in blockchain system with behaviour divergent model
Y Chen, F Ma, Y Zhou, Y Jiang, T Chen, J Sun
2023 IEEE Symposium on Security and Privacy (SP), 2517-2532, 2023
122023
SCStudio: a secure and efficient integrated development environment for smart contracts
M Ren, F Ma, Z Yin, H Li, Y Fu, T Chen, Y Jiang
Proceedings of the 30th ACM SIGSOFT International Symposium on Software …, 2021
92021
LOKI: State-Aware Fuzzing Framework for the Implementation of Blockchain Consensus Protocols
F Ma, Y Chen, M Ren, Y Zhou, Y Jiang, T Chen, H Li, J Sun
Proceedings 2023 Network and Distributed System Security Symposium, 2023
62023
Scanner++: Enhanced Vulnerability Detection of Web Applications with Attack Intent Synchronization
Z Yin, Y Xu, F Ma, H Gao, L Qiao, Y Jiang
ACM Transactions on Software Engineering and Methodology 32 (1), 1-30, 2023
12023
Phoenix: Detect and Locate Resilience Issues in Blockchain via Context-Sensitive Chaos
F Ma, Y Chen, Y Zhou, J Sun, Z Su, Y Jiang, J Sun, H Li
CCS 2023, 2023
12023
Chronos: Finding Timeout Bugs in Practical Distributed Systems by Deep-Priority Fuzzing with Transient Delay
Y Chen
2024 IEEE Symposium on Security and Privacy (SP), 109-109, 2024
2024
CLFuzz: Vulnerability Detection of Cryptographic Algorithm Implementation via Semantic-aware Fuzzing
Y Zhou, F Ma, Y Chen, M Ren, Y Jiang
ACM Transactions on Software Engineering and Methodology 33 (2), 1-28, 2023
2023
Stop Pulling my Rug: Exposing Rug Pull Risks in Crypto Token to Investors
Y Zhou, J Sun, F Ma, Y Chen, Z Yan, Y Jiang
The system can't perform the operation now. Try again later.
Articles 1–19