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

Smart contracts on blockchain platforms (e.g. Ethereum) represent a software domain with critical correctness needs. Smart contract users and security auditors can greatly benefit from a mechanism to recover the original structure of contracts, as evident from past work: many security analyses of smart contracts begin with a decompilation step.

In this talk, we present the Gigahorse decompiler, which is at the core of the contract-library.com service. Contract-library.com contains the most complete, high-level decompiled representation of all Ethereum smart contracts, with security analyses applied to these in realtime. Gigahorse is a decompilation and security analysis framework that natively supports Ethereum Virtual Machine (EVM) bytecode. Its internal intermediate representation of smart contracts makes implicit data- and control-flow dependencies of the EVM bytecode explicit. Using this decompiler we have developed and adapted several advanced high-level client analyses, including MadMax. All our client analyses benefit from high-level domain-specific concepts and achieve high precision and scalability.

This program is tentative and subject to change.

Mon 21 Oct

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