Sun Yat-sen University | Software Engineering (Bachelor)
SEP 2015 - June 2019
Tsinghua University | Software Engineering (Master)
SEP 2019 - June 2022
- The project mainly focuses on using static analysis and dynamic analysis to automatically generate the contracts and inputs for the vulnerability detection of the Ethereum virtual machine.
- We successfully detected 5 high-risk security vulnerabilities in 4 widely-used EVM platforms and provided a reinforcement version of virtual machine for the alliance blockchain FISCO BCOS.
Ying Fu, Meng Ren, Fuchen Ma, Heyuan Shi, Xin Yang, Yu Jiang, Huizhong Li, Xiang Shi :
EVMFuzzer: Detect EVM Vulnerabilities via Fuzz Testing.
ACM 27th Symposium on the Foundations of Software Engineering (FSE), Estonia, 2019. pdf
Fuchen Ma, Ying Fu, Meng Ren, Mingzhe Wang, Yu Jiang :
EVM*: From offline detection to Online Reinforcement for Ethereum Virtual Machine. IEEE 26th International Conference on Software Analysis, Evolution and Reengineering (SANER), China, 2019. pdf
- Third price in China FISCO-BCOS Blockchain Application Competition, 2018