Seminari di Dottorato 30° ciclo

On the Security of the Blockchain Bix Protocol and Certificates

19 ottobre 2017

Luogo: Dipartimento di Matematica, via Sommarive, 14 - Povo (TN) - Aula Seminari "-1"
ore 12.00

Riccardo Longo - PhD student in mathematics

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.
After an introduction on proofs of security, the BIX protocol will be presented, then its security will be analysed in a formal way.Once the formal security assumptions will be identified, some attack scenarios against the BIX protocol will be presented, and finally, theorems that these attacks are not feasible under our previously established assumptions will be provided, with a sketch of their proofs.

Supervisor: Massimiliano Sala

Download

Locandina evento "On the Security of the Blockchain Bix Protocol and Certificates", 19 ottobre 2017(PDF | 190 KB)