Alexander Hofmann: Security Analysis of the Blockchain Agnostic Framework Prototype; Universität Zürich, Communication Systems Group, Department of Informatics, Zürich, Switzerland, December 2019, URL: https://files.ifi.uzh.ch/CSG/staff/scheid/extern/theses/IS-A-Hoffman.pdf.