Noah Berni: SC4CyberInsurance: Automated Cyber-Insurance Contracts; Universität Zürich, Communication Systems Group, Department of Informatics, Zürich, Switzerland, January 2021, URL: https://files.ifi.uzh.ch/CSG/staff/franco/extern/theses/MA-N-Berni.pdf.