EthIR: A Framework for High-Level Analysis of Ethereum Bytecode.

Elvira Albert, Pablo Gordillo, Benjamin Livshits, Albert Rubio, Ilya Sergey

Browse the full ATVA paper archive.