TY  - RPRT
TI  - EthIR: A Framework for High-Level Analysis of Ethereum Bytecode
AU  - Elvira Albert
AU  - Pablo Gordillo
AU  - Benjamin Livshits
AU  - Albert Rubio
AU  - Ilya Sergey
PY  - 2018
DO  - 10.1007/978-3-030-01090-4_30
UR  - https://arxiv.org/abs/1805.07208
ID  - 1805.07208
ER  -