Pluto: Exposing Vulnerabilities in Inter-Contract Scenarios[J] IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 2022(48) Ma, Fuchen Xu, Zhenyang Ren, Meng Yin, Zijing Chen, Yuanliang Qiao, Lei Gu, Bin Li, Huizhong Jiang, Yu Sun, Jiaguang
Security reinforcement for Ethereum virtual machine[J] INFORMATION PROCESSING & MANAGEMENT 2021(58) Ma, Fuchen Ren, Meng Fu, Ying Wang, Mingzhe Li, Huizhong Song, Houbing Jiang, Yu
V-Gas: Generating High Gas Consumption Inputs to Avoid Out-of-Gas Vulnerability[J] ACM TRANSACTIONS ON INTERNET TECHNOLOGY 2023(23) Ma, Fuchen Ren, Meng Ying, Fu Sun, Wanting Song, Houbing Shi, Heyuan Jiang, Yu Li, Huizhong
Pied-Piper: Revealing the Backdoor Threats in Ethereum ERC Token Contracts[J] ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY 2023(32) Ma, Fuchen Ren, Meng Ouyang, Lerong Chen, Yuanliang Zhu, Juan Chen, Ting Zheng, Yingli Dai, Xiao Jiang, Yu Sun, Jiaguang
EVMFuzz: Differential fuzz testing of Ethereum virtual machine[J] JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS Fu, Ying Ren, Meng Ma, Fuchen Yang, Xin Shi, Heyuan Li, Shanshan Liao, Xiangke