Seminar: On the Security of the Blockchain Bix Protocol and Certificates