2 papers
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…