Write a Blog >>
SPLASH 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
Mon 21 Oct 2019 17:00 - 17:30 at Room 2A - Session 4

Ethereum is a distributed blockchain platform, serving as an ecosystem for smart contracts: full-fledged inter-communicating programs that govern crypto-economic systems. MadMax is a framework for detecting a broad family of vulnerabilities in these smart contract related to out-of-gas behavior. Vulnerabilities of this nature are extremely hard to detect with anything other than static program analysis, as they only manifest themselves after several distinct runs. MadMax is highly efficient and effective: it analyzes the whole Ethereum blockchain in 10 hours, and reports numerous vulnerable contracts holding a total value exceeding $2B, with high precision, as determined from a random sample.

The toolchains surrounding MadMax today (namely Ethane and Gigahorse) are all declaratively specified, which has yielding great benefits. This includes a decompiler (Gigahorse), with fully declaratively specified decompilation phases and strategies, and a general framework (Ethane) for program analysis of smart contracts at multiple levels of abstractions.

Mon 21 Oct

njr-2019-papers
16:00 - 17:30: NJR 2019 - Session 4 at Room 2A
njr-2019-papers16:00 - 16:30
Talk
Andrea RosàUniversity of Lugano, Switzerland
njr-2019-papers16:30 - 17:00
Talk
Tony HoskingAustralian National University / Data61
njr-2019-papers17:00 - 17:30
Talk
Neville GrechUniversity of Athens