TY  - THES
AU  - Hernández Cerezo, Alejandro
A3  - Albert Albiol, Elvira
PY  - 2020
UR  - https://hdl.handle.net/20.500.14352/10214
AB  - Ethereum is the most popular blockchain. It has become really well-known in the last few years because it lets users deploy their smart contracts on top of it. Gas is used to measure the computational effort when executing a transaction and to reward...
AB  - Ethereum es la cadena de bloques más popular. Se ha convertido en una plataforma muy conocida en los últimos años, permitiendo a los usuarios desplegar sus dApps en ella. Ethereum utiliza el llamado Gas para medir el coste computacional de ejecutar...
LA  - eng
KW  - Blockchain
KW  - Control-Flow Graph
KW  - Data-flow analysis
KW  - Ethereum
KW  - Ethereum Virtual Machine
KW  - Formal Methods
KW  - Gas
KW  - Operational Semantics
KW  - Smart Contracts
KW  - Symbolic Execution.
KW  - Análisis de Flujo de Datos
KW  - Cadena de bloques
KW  - Contratos inteligentes
KW  - Ejecución Simbólica
KW  - Grafo de Control de Flujo
KW  - Métodos Formales
KW  - Semántica Operacional.
TI  - Analysis techniques for Smart contracts: generation of complete control flow graphs
T2  - Técnicas de análisis para contratos inteligentes: generación de grafos de control de flujo completos
M3  - bachelor thesis
ER  -