Follow
Meng Ren
Meng Ren
Verified email at mails.tsinghua.edu.cn - Homepage
Title
Cited by
Cited by
Year
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
732019
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
612021
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
592019
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
292024
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
272021
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
232021
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
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
192019
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
162023
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
NDSS, 2023
62023
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
52023
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
32019
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
The system can't perform the operation now. Try again later.
Articles 1–14