Probabilistic Formal Methods Applied to Blockchain’s Consensus Protocol

Communication orale non publiée/Abstract (Colloques, congrès, conférences scientifiques et actes)

Mirto, Cristian; Yu, Jiangshan; RAHLI, Vincent et al.

2018 • DSN Workshop on Byzantine Consensus and Resilient Blockchains

Permalien
https://hdl.handle.net/10993/37825

bcrb18-mirto.pdf

Preprint Auteur (189.74 kB)

Tous les documents dans ORBilu sont protégés par une licence d'utilisation.

Disciplines :

Sciences informatiques

Auteur, co-auteur :

Mirto, Cristian

Yu, Jiangshan

RAHLI, Vincent ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)

VERISSIMO, Paulo ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)

Co-auteurs externes :

Langue du document :

Anglais

Titre :

Probabilistic Formal Methods Applied to Blockchain’s Consensus Protocol

Date de publication/diffusion :

2018

Nom de la manifestation :

DSN Workshop on Byzantine Consensus and Resilient Blockchains

Date de la manifestation :

June 25, 2018

Projet FnR :

FNR8149128 - Strategic Rtnd Program On Information Infrastructure Security And Dependability, 2014 (01/01/2015-31/12/2021) - Marcus Völp

Disponible sur ORBilu :

depuis le 19 décembre 2018

Nombre de vues

189 (dont 8 Unilu)

Nombre de téléchargements

1 (dont 1 Unilu)