|title:||Runtime Monitoring of Smart Contracts on Ethereum|
|topics:||Case studies and Applications|
Jaco van de Pol
|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?