@misc{indiciae1935b624e2f9,
  title = {EthIR: A Framework for High-Level Analysis of Ethereum Bytecode},
  author = {Elvira Albert and Pablo Gordillo and Benjamin Livshits and Albert Rubio and Ilya Sergey},
  year = {2018},
  doi = {10.1007/978-3-030-01090-4\_30},
  url = {https://arxiv.org/abs/1805.07208},
  note = {Source identifier: 1805.07208}
}