author: Lars Stegeman
title: Runtime Monitoring of Smart Contracts on Ethereum
topics: Case studies and Applications
committee: Jaco van de Pol ,
Maarten Everts
started: March 2018
type: MTV master project


This research will analyse the possibility to use runtime monitoring for smart contracts. These smart contracts are part of the Ethereum network. Since they control a virtual currency, vulnerabilities can be costly. 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. During runtime monitoring a specification is checked at specific times during execution. What are properties that the tool must be able to specify? And for what purpose can we use runtime monitoring?