Opening book details…
Can I read MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts on EtoBox?
MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts by Neville Grech, Michael Kong, Anton Jurisevic, Lexi Brent, Bernhard Scholz, and Yannis Smaragdakis is a Computer Science article available to read on EtoBox.
What is MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts about?
Ethereum is a distributed blockchain platform, serving as an ecosystem for smart contracts: full-fledged inter-communicating programs that capture the transaction logic of an account. Unlike programs in mainstream languages, a gas limit restricts the execution of an Ethereum smart contract: execution proceeds as long as gas is available. Thus, gas is a valuable resource that can be manipulated by an attacker to provoke unwanted behavior in a victim's smart contract (e.g., wasting or blocking funds of said victim). Gas-focused vulnerabilities exploit undesired behavior when a contract (directly or through other interacting contracts) runs out of gas. Such vulnerabilities are among the hardest for programmers to protect against, as out-of-gas behavior may be uncommon in non-attack scenarios and reasoning about it is far from trivial. In this paper, we classify and identify gas-focused vulnerabilities, and present MadMax: a static program analysis technique to automatically detect gas-focused vulnerabilities with very high confidence. Our approach combines a control-flow-analysis-based decompiler and declarative program-structure queries. The combined analysis captures high-level doma
Who reads MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts?
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Neville Grech, Michael Kong, Anton Jurisevic, Lexi Brent, Bernhard Scholz, and Yannis Smaragdakis
- Publisher
- ACM
- Published
- 2018
- Language
- EN
- Field
- Computer Science (Physical Sciences)