Group colloquium: Runtime verification of Smart Contracts

When: Oct. 4, 2018, 15:45-16:45

Where: Cubicus B209

Who: Lars Stegeman

Ethereum is a decentralized blockchain platform. On this platform smart contracts are deployed and executed. Smart contracts are also called "executable code on the blockchain". It can perform calculations, store information and send/receive transactions. Since these smart contracts control a virtual currency, vulnerabilities can be costly. The code of smart contracts is public and changes to it are impossible since they are committed to the blockchain. Many techniques and tools can be used to detect these vulnerabilities. Formal verification proves a specification against all possible input on a certain contract, while testing only guarantees correct output for a given input. In this research the feasibility of runtime monitoring is analysed.
 
This talk will first introduce the concept of smart contracts and Solidity the language they are written in. Then we will discuss the tool that is developed to do runtime verification on smart contracts.