Probabilistic Formal Methods Applied to Blockchain’s Consensus Protocol

Reference : Probabilistic Formal Methods Applied to Blockchain’s Consensus Protocol


	Document type :	Scientific congresses, symposiums and conference proceedings : Unpublished conference
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/37825

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

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Limited access	bcrb18-mirto.pdf		Author preprint	185.29 kB	Request a copy

All documents in ORBi^lu are protected by a user license.