-
Guillaume Vizier, Vincent Gramoli
Concurrency and Computation, Practice and Experience
Oct 2019
John Wiley & Sons 32 (12) (DOI:10.1002/cpe.5494)
-
Runchao Han, Gary Shapiro, Vincent Gramoli, Xiwei Xu
Internet of Things
Aug 2019
Elsevier (DOI:10.1016/j.iot.2019.100087)
-
Vincent Gramoli, Mark Staples
IEEE Communications Standards Magazine
Sep 2018
2 (3) p.16-21 (DOI:10.1109/MCOMSTD.2018.1800022)
-
Vincent Gramoli
Future Generation of Computer Systems
Sep 2017
Elsevier (DOI:10.1016/j.future.2017.09.023)
-
Gary Shapiro, Christopher Natoli, Vincent Gramoli
Proceedings of the 19th IEEE International Symposium on Network Computing and Applications (NCA'20)
Nov 2020
IEEE p.1-8
-
Pierre Civit, Seth Gilbert, Vincent Gramoli
Proceedings of the 34th International Symposium on Distributed Computing (DISC'20)
Oct 2020
Schloss Dagstuhl p.45:1-45:3
-
Christian Cachin, Daniel Collins, Tyler Crain, Vincent Gramoli
Proceedings of the European Symposium on Research in Computer Security (ESORICS'20)
Sep 2020
Springer p.133-152
-
Rob van Glabbeek, Vincent Gramoli, Pierre Tholoniat
Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA'20)
Jul 2020
ACM p.579-581
-
Parinya Ekparinya, Vincent Gramoli, Guillaume Jourjon
Proceedings of the Network and Distributed Systems Security Symposium (NDSS'20)
Feb 2020
Internet Society
-
Pierre Tholoniat, Vincent Gramoli
6th Workshop on Formal Reasoning in Distributed Algorithms (FRIDA'19)
Oct 2019
To implement a blockchain, the trend is now to integrate a non-trivial Byzantine fault tolerant consensus algorithm instead of the seminal idea of waiting to receive blocks to decide upon the longest branch. After a decade of existence, blockchains trade now large amounts of valuable assets and a simple disagreement could lead to disastrous losses. Unfortunately, Byzantine consensus solutions used in blockchains are at best proved correct "by hand" as we are not aware of any of them having been formally verified.
In this paper, we propose two contributions: (i) we illustrate the severity of the problem by list-ing six vulnerabilities of blockchain consensus including two new counter-examples; (ii) we then formally verify two Byzantine fault tolerant components of Red Belly Blockchain using the ByMC model checker. First, we specify a simple broadcast primitive in 116 lines of code that is verified in 40seconds on a 2-core Intel machine. Then, we specify a blockchain consensus algorithm in 276 lines of code that is verified in 17 minutes on a 64-core AMD machine using MPI.
To conclude, we argue that it has now become both relatively simple and crucial to formally verify the correctness of blockchain consensus protocols.
-
Alejandro Ranchal-Pedrosa, Vincent Gramoli
Proceedings of the 18th IEEE International Symposium on Network Computing and Applications (NCA'19)
Sep 2019
IEEE p.1-8
-
Pierre Civit, Seth Gilbert, Vincent Gramoli
Workshop on Verification of Distributed Systems (VDS'19)
Jun 2019
-
Michael Spain, Sean Foley, Vincent Gramoli
International Conference on Blockchain, Economics, Security and Protocols (Tokenomics'19)
2019
Schloss Dagstuhl 71 p.9:1-9:15
-
Parinya Ekparinya, Vincent Gramoli, Guillaume Jourjon
Community Ethereum Development Conference (EDCON'19)
2019
-
Tyler Crain, Vincent Gramoli, Mikel Larrea, Michel Raynal
Proceedings of the 17th IEEE International Symposium on Network Computing and Applications (NCA'18)
2018
IEEE
-
Parinya Ekparinya, Vincent Gramoli, Guillaume Jourjon
Proceedings of the 37th IEEE International Symposium on Reliable Distributed Systems (SRDS'18)
Oct 2018
IEEE
-
Guillaume Vizier, Vincent Gramoli
Proceedings of the IEEE International Conference on Blockchain (Blockchain'18)
Jul 2018
IEEE
-
Runchao Han, Vincent Gramoli, Xiwei Xu
Proceedings of the 9th IFIP International Conference on New Technologies, Mobility and Security (NTMS'18)
Feb 2018
IFIP
-
Ingo Weber, Vincent Gramoli, Mark Staples, Alex Ponomarev, Ralph Holz, An Binh Tran, Paul Rimba
Proceedings of the 36th International Symposium on Reliable Distributed Systems (SRDS'17)
Sep 2017
IEEE p.64-73
-
Christopher Natoli, Vincent Gramoli
Proceedings of the 47th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'17)
Jun 2017
IEEE p.579-590
-
Christopher Natoli, Vincent Gramoli
Proceedings of the 15th IEEE International Symposium on Network Computing and Applications (NCA'16)
Oct 2016
IEEE p.310-317
-
Xiwei Xu, Cesare Pautasso, Liming Zhu, Vincent Gramoli, Alexander Ponomarev, An Binh Tran, Shiping Chen
Proceedings of the 13th Working IEEE/IFIP Conference on Software Architecture (WICSA'16)
Apr 2016
IEEE p.182-191
-
Vincent Gramoli
Workshop on Distributed Cryptocurrencies and Consensus Ledgers (DCCL'16)
2016
-
Tyler Crain, Vincent Gramoli, Mikel Larrea, Michel Raynal
19ème rencontres francophones sur les aspects algorithmiques de télécommunications (AlgoTel'17)
2017