| 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 | 82 | 2021 |
| 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 | 78 | 2019 |
| 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 |
| Evmfuzz: Differential fuzz testing of ethereum virtual machine Y Fu, M Ren, F Ma, X Yang, H Shi, S Li, X Liao Journal of Software: Evolution and Process 36 (4), e2556, 2024 | 30 | 2024 |
| 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 |
| 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 |
| 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 | 25 | 2021 |
| Gasfuzz: Generating high gas consumption inputs to avoid out-of-gas vulnerability F Ma, Y Fu, M Ren, W Sun, Z Liu, Y Jiang, J Sun, J Sun arXiv preprint arXiv:1910.02945 1, 7, 2019 | 19 | 2019 |
| 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 NDSS, 2023 | 11 | 2023 |
| 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 23 (3), 1-22, 2023 | 8 | 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 |
| V-gas: Generating high gas consumption inputs to avoid out-of-gas vulnerability F Ma, Y Fu, M Ren, W Sun, H Song, Y Jiang, J Sun, J Sun arXiv preprint arXiv:1910.02945, 2019 | 4 | 2019 |
Fuchen MaTsinghua UniversityVerified email at mails.tsinghua.edu.cn
