research
∙
01/11/2023
Inferring Needless Write Memory Accesses on Ethereum Bytecode (Extended Version)
Efficiency is a fundamental property of any type of program, but it is e...
share
research
∙
04/29/2020
Analyzing Smart Contracts: From EVM to a sound Control-Flow Graph
The EVM language is a simple stack-based language with words of 256 bits...
research
∙
12/26/2019
GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts
We present the main concepts, components, and usage of GASOL, a Gas Anal...
research
∙
06/12/2019
SAFEVM: A Safety Verifier for Ethereum Smart Contracts
Ethereum smart contracts are public, immutable and distributed and, as s...
research
∙
11/22/2018
GASTAP: A Gas Analyzer for Smart Contracts
Gas is a measurement unit of the computational effort that it will take ...
research
∙
05/10/2018