López Vivar, AntonioSandoval Orozco, Ana LucilaGarcía Villalba, Luis Javier2023-06-172023-06-172021-03-100140-366410.1016/j.comcom.2021.03.008https://hdl.handle.net/20.500.14352/6802CRUE-CSIC (Acuerdos Transformativos 2021)The use of blockchain and smart contracts have not stopped growing in recent years. Like all software that begins to expand its use, it is also beginning to be targeted by hackers who will try to exploit vulnerabilities in both the underlying technology and the smart contract code itself. While many tools already exist for analyzing vulnerabilities in smart contracts, the heterogeneity and variety of approaches and differences in providing the analysis data makes the learning curve for the smart contract developer steep. In this article the authors present ESAF (Ethereum Security Analysis Framework), a framework for analysis of smart contracts that aims to unify and facilitate the task of analyzing smart contract vulnerabilities which can be used as a persistent security monitoring tool for a set of target contracts as well as a classic vulnerability analysis tool among other uses.engAtribución 3.0 Españahttps://creativecommons.org/licenses/by/3.0/es/journal articlehttps://doi.org/10.1016/j.comcom.2021.03.008https://www.sciencedirect.com/science/article/pii/S0140366421001043#!open accessBlockchainEthereumSecure developmentSecuritySmart contractsInternet (Informática)Programación orientada a objetosDinero3325 Tecnología de las Telecomunicaciones1203.24 Teoría de la Programación5304.06 Dinero y Operaciones Bancarias