7 citations · 7 across the 4 of their papers we have counts for
4 papers · 1 filter
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…
A Transformational Approach to Resource Analysis with Typed-norms Inference
Elvira Albert, Samir Genaim, Raúl Gutiérrez +1
In order to automatically infer the resource consumption of programs, analyzers track how data sizes change along program's execution. Typically, analyzers measure the sizes of dat…
Resource Analysis driven by (Conditional) Termination Proofs
Elvira Albert, Miquel Bofill, Cristina Borralleras +2
When programs feature a complex control flow, existing techniques for resource analysis produce cost relation systems (CRS) whose cost functions retain the complex flow of the prog…
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…