Efficiency is a fundamental property of any type of program, but it is e...
The EVM language is a simple stack-based language with words of 256 bits...
Software-Defined Networking (SDN) is a networking paradigm that has beco...
We present the main concepts, components, and usage of GASOL, a Gas Anal...
In order to automatically infer the resource consumption of programs,
an...
When programs feature a complex control flow, existing techniques for
re...
Ethereum smart contracts are public, immutable and distributed and, as s...
Gas is a measurement unit of the computational effort that it will take ...
Analyzing Ethereum bytecode, rather than the source code from which it w...
It has been recently proposed that testing based on symbolic execution c...