Open AccessBrief Announcement: Holistic Verification of Blockchain Consensus
Author(s) -
Nathalie Bertrand,
Vincent Gramoli,
Igor Konnov,
Marijana Lazić,
Pierre Tholoniat,
Josef Widder
Publication year - 2022
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
DOI - 10.1145/3519270.3538468
Subject(s) - blockchain , computer science , single point of failure , computer security , mathematical proof , parameterized complexity , asynchronous communication , exploit , protocol (science) , consensus , model checking , provable security , block (permutation group theory) , theoretical computer science , distributed computing , computer network , cryptography , algorithm , multi agent system , artificial intelligence , geometry , mathematics , alternative medicine , pathology , medicine
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom