TY - CPAPER AU - Albert Albiol, Elvira MarĂ­a AU - Gordillo Alguacil, Pablo AU - Rubio, Albert AU - Sergey, Ilya PY - 2019 DO - 10.1007/978-3-030-35092-5_5 SN - 978-3-030-35091-8 SN - 978-3-030-35092-5 SN - 0302-9743 UR - https://hdl.handle.net/20.500.14352/96507 AB - Gas is a measurement unit of the computational effort that it will take to execute every single operation that takes part in the Ethereum blockchain platform. Each instruction executed by the Ethereum Virtual Machine (EVM) has an associated gas... LA - eng M2 - 63 TI - Running on Fumes: Preventing Out-of-Gas Vulnerabilities in Ethereum Smart Contracts Using Static Resource Analysis TY - conference paper ER -