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
∙
08/31/2020
Incomplete SMT Techniques for Solving Non-Linear Formulas over the Integers
We present new methods for solving the Satisfiability Modulo Theories pr...
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
∙
01/27/2020
Actor-Based Model Checking for SDN Networks
Software-Defined Networking (SDN) is a networking paradigm that has beco...
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
∙
07/23/2019
Resource Analysis driven by (Conditional) Termination Proofs
When programs feature a complex control flow, existing techniques for re...
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