| 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 | 157 | 2019 |
| 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 | 104* | 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 | 80 | 2021 |
| 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 | 62 | 2019 |
| 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 | 32 | 2021 |
| 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 | 30 | 2021 |
| 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 | 27* | 2022 |
| Poster: Fuzz Testing of Quantum Program J Wang, F Ma, Y Jiang 2021 14th IEEE Conference on Software Testing, Verification and Validation …, 2021 | 27 | 2021 |
| 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 | 25 | 2023 |
| 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 | 25* | 2021 |
| 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 | 24 | 2021 |
| 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 | 15 | 2023 |
| 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 | 12 | 2021 |
| 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 | 11 | 2023 |
| 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 | 7 | 2023 |
| 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 | 5 | 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 Proceedings of the 46th International Conference on Software Engineering …, 2024 | 4 | 2024 |
| 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, S Li, ... Companion Proceedings of the 32nd ACM International Conference on the …, 2024 | 3 | 2024 |
| 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 | 3 | 2023 |
| Chronos: Finding Timeout Bugs in Practical Distributed Systems by Deep-Priority Fuzzing with Transient Delay Y Chen, F Ma, Y Zhou, M Gu, Q Liao, Y Jiang 2024 IEEE Symposium on Security and Privacy (SP), 1939-1955, 2024 | 1 | 2024 |
Yu JiangTsinghua UniversityVerified email at mail.tsinghua.edu.cn
