Title : Probabilistic Formal Methods Applied to Blockchain’s Consensus Protocol
Language : English
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) > >]
Publication date : 2018
Peer reviewed : Yes
Event name : DSN Workshop on Byzantine Consensus and Resilient Blockchains
Event date : June 25, 2018
Permalink : http://hdl.handle.net/10993/37825
FnR project : FnR ; FNR8149128 > Paulo Esteves-Ver�ssimo > IISD > Strategic RTnD Program on Information Infrastructure Security and Dependability > 01/01/2015 > 31/12/2019 > 2014