@mastersbasicmodule{Stei20, address = {Zürich, Switzerland}, author = {Steijn, Kevin}, organization = {Communication Systems Group, Department of Informatics}, institution = {Universität Zürich}, month = {jul}, title = {Design and Implementation of a Smart Contract for Cyber Insurance Agreements}, year = {2020} }