Blockchain related talks

• Red Belly: A Secure, Fair and Scalable Open Blockchain, IEEE S&P 2021, Online.
• Formal Verification of Blockchain Byzantine Fault Tolerance, Workshop on Formal Reasoning in Distributed Algorithms (FRIDA'19)
• Polygraph, Accountable Byzantine Agreement, Workshop on Verification of Distributed Systems (VDS), Marrakesh, Marocco.
• The Red Belly Blockchain, MIT, Cambridge, USA - Facebook, Menlo Park, USA - Visa Research, Palo Alto, USA, 2017.
• BFT is back but is it the same?, BTT at DISC 2018, Vienna, Austria.
• The Danger of Private Blockchain, DCCL, Chicago, USA, INRIA, U. Rennes, France and UNSW, Australia.

The Red Belly Blockchain

The Red Belly Blockchain (RBBC) is an unforkable blockchain able to commit more than 600K transactions per second with a latency of few seconds. As opposed to mainstream public blockchains, it is not subject to double spending - when an individual successfully spends their money more than once - because its chain of blocks never forks. As opposed to consortium blockchains, it does not bottleneck when numerous clients issue transactions at the same time, thanks to its leaderless consensus algorithm.

Blockchain related publications

• Ordered Reliable Broadcast and Fast Ordered Byzantine Consensus for Cryptocurrency
  Pouriya Zarbafian, Vincent Gramoli
  Proceedings of the 35th International Symposium on Distributed Computing (DISC'21)
  Oct 2021
  abstract  bib
• Red Belly: a Secure, Fair and Scalable Open Blockchain
  Tyler Crain, Christopher Natoli, Vincent Gramoli
  Proceedings of the 42nd IEEE Symposium on Security and Privacy (S&P'21)
  May 2021
  p.1501-1518
  available  abstract  bib
• Leaderless Consensus
  Karolos Antoniadis, Antoine Desjardins, Vincent Gramoli, Rachid Guerraoui, Igor Zablotchi
  Proceedings of the 41st IEEE International Conference on Distributed Computing Systems (ICDCS'21)
  Jul 2021
  available  abstract  bib
• Polygraph: Accountable Byzantine Agreement
  Pierre Civit, Seth Gilbert, Vincent Gramoli
  Proceedings of the 41st IEEE International Conference on Distributed Computing Systems (ICDCS'21)
  Jul 2021
  available  abstract  bib
• The Performance of Byzantine Fault Tolerant Blockchains
  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
  available  abstract  bib
• Brief Announcement: Polygraph: Accountable Byzantine Agreement
  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
  available  abstract  bib
• Anonymity Preserving Byzantine Vector Consensus
  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
  available  abstract  bib
• Feasibility of Cross-Chain Payment with Success Guarantees
  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
  available  abstract  bib
• The Attack of the Clones against Proof-of-Authority
  Parinya Ekparinya, Vincent Gramoli, Guillaume Jourjon
  Proceedings of the Network and Distributed Systems Security Symposium (NDSS'20)
  Feb 2020
  Internet Society
  available  abstract  bib
• Formal Verification of Blockchain Byzantine Fault Tolerance
  Pierre Tholoniat, Vincent Gramoli
  6th Workshop on Formal Reasoning in Distributed Algorithms (FRIDA'19)
  Oct 2019
  available  bib

  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.

• Platypus: Offchain Protocol Without Synchrony
  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
  available  abstract  bib
• Polygraph: Accountable Byzantine Consensus
  Pierre Civit, Seth Gilbert, Vincent Gramoli
  Workshop on Verification of Distributed Systems (VDS'19)
  Jun 2019
  available  abstract  bib
• The Impact of Ethereum Throughput and Fees on the Transaction Latency during ICOs
  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
  available  abstract  bib
• The Attack of the Clones Against Proof-of-Authority
  Parinya Ekparinya, Vincent Gramoli, Guillaume Jourjon
  Community Ethereum Development Conference (EDCON'19)
  2019
  available  abstract  bib
• DBFT: Efficient Leaderless Byzantine Consensus and its Applications to Blockchains
  Tyler Crain, Vincent Gramoli, Mikel Larrea, Michel Raynal
  Proceedings of the 17th IEEE International Symposium on Network Computing and Applications (NCA'18)
  2018
  IEEE
  available  abstract  bib
• Impact of Man-In-The-Middle Attacks on Ethereum
  Parinya Ekparinya, Vincent Gramoli, Guillaume Jourjon
  Proceedings of the 37th IEEE International Symposium on Reliable Distributed Systems (SRDS'18)
  Oct 2018
  IEEE
  available  abstract  bib
• ComChain: Bridging the Gap Between Public and Consortium Blockchains
  Guillaume Vizier, Vincent Gramoli
  Proceedings of the IEEE International Conference on Blockchain (Blockchain'18)
  Jul 2018
  IEEE
  available  bib
• Evaluating Blockchains for IoT
  Runchao Han, Vincent Gramoli, Xiwei Xu
  Proceedings of the 9th IFIP International Conference on New Technologies, Mobility and Security (NTMS'18)
  Feb 2018
  IFIP
  available  bib
• On Availability for Blockchain-Based Systems
  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
  available  bib
• The Balance Attack or Why Forkable Blockchains Are Ill-Suited for Consortium
  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
  available  bib
• The Blockchain Anomaly
  Christopher Natoli, Vincent Gramoli
  Proceedings of the 15th IEEE International Symposium on Network Computing and Applications (NCA'16)
  Oct 2016
  IEEE p.310-317
  available  bib
• The Blockchain as a Software Connector
  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
  available  bib
• On the Danger of Private Blockchains
  Vincent Gramoli
  Workshop on Distributed Cryptocurrencies and Consensus Ledgers (DCCL'16)
  2016
  available  bib
• Blockchain Consensus
  Tyler Crain, Vincent Gramoli, Mikel Larrea, Michel Raynal
  19ème rencontres francophones sur les aspects algorithmiques de télécommunications (AlgoTel'17)
  2017
  available  bib

---

last update: April 1st, 2021