Seminar: On the Security of the Blockchain Bix Protocol and Certificates
Post date: 06-Oct-2017 15:25:17
On the Security of the Blockchain Bix Protocol and Certificates
October 5, 15.00 (Aula F)
Palazzo delle Scienze - Cagliari
University of Trento (IT)
Abstract: The BIX protocol is a blockchain-based protocol that allows distribution of certificates linking a subject with his public key, hence providing a service similar to that of a PKI but without the need of a CA. In this seminar I will present an analysis of the security of the BIX protocol in a formal way. First, I will identify formal security assumptions which are well-suited to this protocol. Second, I will present some attack scenarios against the BIX protocol. Finally, I will provide a formal security proof that these attacks are not feasible under our previously established assumptions.