97 citations · 112 across the 4 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
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…