About | 草莓冰激凌 ღ

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
pic

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