Sledovat
Fuchen Ma
Fuchen Ma
E-mailová adresa ověřena na: mails.tsinghua.edu.cn - Domovská stránka
Název
Citace
Citace
Rok
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
1452019
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
99*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
642021
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
612019
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
282021
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
262021
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
24*2022
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
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
23*2021
Poster: Fuzz Testing of Quantum Program
J Wang, F Ma, Y Jiang
2021 14th IEEE Conference on Software Testing, Verification and Validation …, 2021
222021
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
172023
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
132023
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
102021
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
82023
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
22023
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
Proceedings of the 46th International Conference on Software Engineering …, 2024
12024
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
When Fuzzing Meets LLMs: Challenges and Opportunities
Y Jiang, J Liang, F Ma, Y Chen, C Zhou, Y Shen, Z Wu, J Fu, M Wang, ...
arXiv preprint arXiv:2404.16297, 2024
2024
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
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–20