3 papers
cs.PL2020
Analyzing Smart Contracts: From EVM to a sound Control-Flow Graph
Elvira Albert, Jesús Correas, Pablo Gordillo +2
The EVM language is a simple stack-based language with words of 256 bits, with one significant difference between the EVM and other virtual machine languages (like Java Bytecode or…
cs.PL2019
GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts
Elvira Albert, Jesús Correas, Pablo Gordillo +2
We present the main concepts, components, and usage of GASOL, a Gas AnalysiS and Optimization tooL for Ethereum smart contracts. GASOL offers a wide variety of cost models that all…
cs.PL2019
SAFEVM: A Safety Verifier for Ethereum Smart Contracts
Elvira Albert, Jesús Correas, Pablo Gordillo +2
Ethereum smart contracts are public, immutable and distributed and, as such, they are prone to vulnerabilities sourcing from programming mistakes of developers. This paper presents…