Login
EN
[EN] English
[FR] Français
Login
EN
[EN] English
[FR] Français
Give us feedback
Search and explore
Search
Explore ORBilu
Open Science
Open Science
Open Access
Research Data Management
Definitions
OS Working group
Webinars
Statistics
Help
User Guide
FAQ
Publication list
Document types
Reporting
Training
ORCID
About
About ORBilu
Deposit Mandate
ORBilu team
Impact and visibility
About statistics
About metrics
OAI-PMH
Project history
Legal Information
Data protection
Legal notices
Back
Home
Detailed Reference
Request a copy
Unpublished conference/Abstract (Scientific congresses, symposiums and conference proceedings)
Probabilistic Formal Methods Applied to Blockchain’s Consensus Protocol
Mirto, Cristian
;
Yu, Jiangshan
;
RAHLI, Vincent
et al.
2018
•
DSN Workshop on Byzantine Consensus and Resilient Blockchains
Permalink
https://hdl.handle.net/10993/37825
Files (1)
Send to
Details
Statistics
Bibliography
Similar publications
Files
Full Text
bcrb18-mirto.pdf
Author preprint (189.74 kB)
Request a copy
All documents in ORBilu are protected by a
user license
.
Send to
RIS
BibTex
APA
Chicago
Permalink
X
Linkedin
copy to clipboard
copied
Details
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 :
no
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
Statistics
Number of views
159 (8 by Unilu)
Number of downloads
1 (1 by Unilu)
More statistics
Bibliography
Similar publications
Contact ORBilu