TY - CPAPER AU - Gordillo Alguacil, Pablo AU - Livshits, Benjamin AU - Rubio, Albert AU - Sergey, Ilya PY - 2018 DO - 10.1007/978-3-030-01090-4_30 SN - 978-3-030-01089-8 UR - https://hdl.handle.net/20.500.14352/96449 AB - Analyzing Ethereum bytecode, rather than the source code from which it was generated, is a necessity when: (1) the source code is not available (e.g., the blockchain only stores the bytecode), (2) the information to be gathered in the analysis is only... LA - eng M2 - 513 TI - ETHIR: A Framework for High-Level Analysis of Ethereum Bytecode TY - conference paper ER -