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  bib

  Classical synchronous consensus algorithms are leaderless: processes exchange their proposals, pick the max and decide when they see the same choice across a couple of rounds. Indulgent consensus algorithms are more robust in that they only require eventual synchrony, but are however typically leader-based. Intuitively, this is a weakness for a slow leader can delay any decision.
  This paper asks whether, under eventual synchrony, it is possible to deterministically solve consensus without a leader. The fact that the weakest failure detector to solve consensus is one that also eventually elects a leader seems to indicate that the answer to the question is negative. We prove in this paper that the answer is actually positive.
  We first give a precise definition of the very notion of a leaderless algorithm. Then we present three indulgent leaderless consensus algorithms, each we believe interesting in its own right: (i) for shared memory, (ii) for message passing with omission failures and (iii) for message passing with Byzantine failures (with and without authentication).

• 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  abstract  bib
• 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