1 citations · 1 across the 1 of their papers we have counts for
3 papers
cs.SE2021★ 1 cited
IntelliGen: Automatic Driver Synthesis for FuzzTesting
Mingrui Zhang, Jianzhong Liu, Fuchen Ma +2
Fuzzing is a technique widely used in vulnerability detection. The process usually involves writing effective fuzz driver programs, which, when done manually, can be extremely labo…
cs.CR2019
V-Gas: Generating High Gas Consumption Inputs to Avoid Out-of-Gas Vulnerability
Fuchen Ma, Ying Fu, Meng Ren +5
The out-of-gas error occurs when smart contract programs are provided with inputs that cause excessive gas consumption, and would be easily exploited to make the DoS attack. Multip…
cs.SE2019
EVMFuzz: Differential Fuzz Testing of Ethereum Virtual Machine
Ying Fu, Meng Ren, Fuchen Ma +3
Ethereum Virtual Machine (EVM) is the run-time environment for smart contracts and its vulnerabilities may lead to serious problems to the Ethereum ecology. With lots of techniques…