About

Meng Ren

School   :           Tsinghua University, China Major    :           Software Engineering Lab        :           Software System and Engineering Lab Email     :           rm19@mails.tsinghua.edu.cn Phone   :           +86 13329052199

Education

Sun Yat-sen University | Software Engineering (Bachelor) SEP 2015 - June 2019

Tsinghua University | Software Engineering (Master) SEP 2019 - June 2022

Projects

Security Analysis of Block Chain System (PI, 30, 000 $) Sep 2018 - July 2019

• 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.

Publications

2019

• 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

Awards

• Third price in China FISCO-BCOS Blockchain Application Competition, 2018