Kevin Steijn: Design and Implementation of a Smart Contract for Cyber Insurance Agreements; Universität Zürich, Communication Systems Group, Department of Informatics, Zürich, Switzerland, July 2020.