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

Post date: 06-Oct-2017 15:25:17

Upcoming Seminar

On the Security of the Blockchain Bix Protocol and Certificates

October 5, 15.00 (Aula F)

Palazzo delle Scienze - Cagliari

Riccardo Longo

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.