Gigahorse: Thorough Smart Contract Decompilation and Security Analyses
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 - 16:30|
Andrea RosàUniversity of Lugano, Switzerland
|16:30 - 17:00|
Tony HoskingAustralian National University / Data61
|17:00 - 17:30|
Neville GrechUniversity of Athens