Probabilistic Formal Methods Applied to Blockchain’s Consensus Protocol

Unpublished conference/Abstract (Scientific congresses, symposiums and conference proceedings)

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

2018 • DSN Workshop on Byzantine Consensus and Resilient Blockchains

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

bcrb18-mirto.pdf

Author preprint (189.74 kB)

All documents in ORBilu are protected by a user license.

Disciplines :

Computer science

Author, co-author :

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)

External co-authors :

Language :

English

Title :

Probabilistic Formal Methods Applied to Blockchain’s Consensus Protocol

Publication date :

2018

Event name :

DSN Workshop on Byzantine Consensus and Resilient Blockchains

Event date :

June 25, 2018

FnR Project :

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

Available on ORBilu :

since 19 December 2018

Number of views

144 (8 by Unilu)

Number of downloads

1 (1 by Unilu)