TY - CPAPER AU - Albert Albiol, Elvira María AU - Correas, Jesús AU - Gordillo Alguacil, Pablo AU - Roman-Díez, Guillermo AU - Rubio, Albert PY - 2020 DO - 10.1109/icst46399.2020.00010 SN - 978-1-7281-5779-5 SN - 2159-4848 UR - https://hdl.handle.net/20.500.14352/96530 AB - A smart contract is a software program that runs on top of a blockchain. It contains a collection of public functions that can be invoked within the transactions launched over the contract by parties interacting with it. Being computer programs,... LA - eng TI - Smart, and also Reliable and Gas-Efficient, Contracts TY - conference paper ER -