@InProceedings{atva-2018,
  author =       "Elvira Albert and Pablo Gordillo and Benjamin Livshits
                 and Albert Rubio and Ilya Sergey",
  title =        "{EthIR}: A Framework for High-Level Analysis of
                 Ethereum Bytecode",
  booktitle =    "Proceedings of the International Symposium on
                 Automated Technology for Verification and Analysis",
  year =         "2018",
}