Reference : Probabilistic Formal Methods Applied to Blockchain’s Consensus Protocol
Scientific congresses, symposiums and conference proceedings : Unpublished conference
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/37825
Probabilistic Formal Methods Applied to Blockchain’s Consensus Protocol
English
Mirto, Cristian []
Yu, Jiangshan []
Rahli, Vincent mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Verissimo, Paulo mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
2018
Yes
DSN Workshop on Byzantine Consensus and Resilient Blockchains
June 25, 2018
http://hdl.handle.net/10993/37825
FnR ; FNR8149128 > Paulo Esteves-Ver�ssimo > IISD > Strategic RTnD Program on Information Infrastructure Security and Dependability > 01/01/2015 > 31/12/2019 > 2014

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
bcrb18-mirto.pdfAuthor preprint185.29 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.