4 papers
EasyRpl: A web-based tool for modelling and analysis of cross-organisational workflows
Muhammad Rizwan Ali, Violet Ka I Pun, Guillermo Román-Díez
Cross-organisational workflows involve multiple concurrent, collaborative workflows across different departments or organisations, necessitating effective coordination due to their…
Analyzing Smart Contracts: From EVM to a sound Control-Flow Graph
Elvira Albert, Jesús Correas, Pablo Gordillo +2
The EVM language is a simple stack-based language with words of 256 bits, with one significant difference between the EVM and other virtual machine languages (like Java Bytecode or…
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…
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…