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
