research
∙
06/20/2020
Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts
Blockchain has become particularly popular due to its promise to support...
share
research
∙
05/20/2020
Formal Specification and Verification of Solidity Contracts with Events
Events in the Solidity language provide a means of communication between...
research
∙
01/09/2020
SMT-Friendly Formalization of the Solidity Memory Model
Solidity is the dominant programming language for Ethereum smart contrac...
research
∙
07/09/2019
solc-verify: A Modular Verifier for Solidity Smart Contracts
We present solc-verify, a source-level verification tool for Ethereum sm...
research
∙
08/24/2017