activity
20202026
most citedOnline Payments by Merely Broadcasting Messages (Extended Version)

2 citations · 7 across the 11 of their papers we have counts for

collaborators

14 papers

cs.DC2026

Cadence: Extreme Pipelining with Multiple Concurrent Proposers

Kushal Babel, Fatima Elsheimy, Lioba Heimbach +6

We present Cadence, a Byzantine fault-tolerant multi-proposer consensus protocol with arbitrarily low block intervals, optimal resilience, and optimal fast-path latency. Cadence di…

cs.CR2025★ 1 cited

From Permissioned to Proof-of-Stake Consensus

Jovan Komatovic, Andrew Lewis-Pye, Joachim Neu +2

This paper presents the first generic compiler that transforms any permissioned consensus protocol into a proof-of-stake permissionless consensus protocol. For each of the followin…

cs.DC2025

Byzantine Consensus in the Random Asynchronous Model

George Danezis, Jovan Komatovic, Lefteris Kokoris-Kogias +2

We propose a novel relaxation of the classic asynchronous network model, called the random asynchronous model, which removes adversarial message scheduling while preserving unbound…

cs.DC2024

Juggernaut: Efficient Crypto-Agnostic Byzantine Agreement

Daniel Collins, Yuval Efron, Jovan Komatovic

It is well known that a trusted setup allows one to solve the Byzantine agreement problem in the presence of corruptions, bypassing the setup-free barrier. Alas, th…

cs.DC2024★ 1 cited

Toward Optimal-Complexity Hash-Based Asynchronous MVBA with Optimal Resilience

Jovan Komatovic, Joachim Neu, Tim Roughgarden

Multi-valued validated Byzantine agreement (MVBA), a fundamental primitive of distributed computing, allows processes to agree on a valid -bit value, despite faulty p…

cs.DC2024

Efficient Signature-Free Validated Agreement

Pierre Civit, Muhammad Ayaz Dzulfikar, Seth Gilbert +4

Byzantine agreement enables n processes to agree on a common L-bit value, despite up to t > 0 arbitrary failures. A long line of work has been dedicated to improving the bit comple…

cs.DC2024

Partial Synchrony for Free? New Upper Bounds for Byzantine Agreement

Pierre Civit, Muhammad Ayaz Dzulfikar, Seth Gilbert +4

Byzantine agreement allows n processes to decide on a common value, in spite of arbitrary failures. The seminal Dolev-Reischuk bound states that any deterministic solution to Byzan…

cs.DC2023★ 1 cited

All Byzantine Agreement Problems are Expensive

Pierre Civit, Seth Gilbert, Rachid Guerraoui +3

Byzantine agreement, arguably the most fundamental problem in distributed computing, operates among n processes, out of which t < n can exhibit arbitrary failures. The problem stat…

cs.DC2023

Strong Byzantine Agreement with Adaptive Word Complexity

Pierre Civit, Seth Gilbert, Rachid Guerraoui +2

The strong Byzantine agreement (SBA) problem is defined among n processes, out of which t < n can be faulty and behave arbitrarily. SBA allows correct (non-faulty) processes to agr…

cs.DC2023

Every Bit Counts in Consensus

Pierre Civit, Seth Gilbert, Rachid Guerraoui +3

Consensus enables n processes to agree on a common valid L-bit value, despite t < n/3 processes being faulty and acting arbitrarily. A long line of work has been dedicated to impro…

cs.DC2023★ 1 cited

On the Validity of Consensus

Pierre Civit, Seth Gilbert, Rachid Guerraoui +2

The Byzantine consensus problem involves processes, out of which t < n could be faulty and behave arbitrarily. Three properties characterize consensus: (1) termination, requiri…

cs.DC2022★ 1 cited

Carbon: Scaling Trusted Payments with Untrusted Machines

Martina Camaioni, Rachid Guerraoui, Jovan Komatovic +4

This paper introduces Carbon, a high-throughput system enabling asynchronous (safe) and consensus-free (efficient) payments and votes within a dynamic set of clients. Carbon is ope…

cs.DC2020★ 2 cited

Online Payments by Merely Broadcasting Messages (Extended Version)

Daniel Collins, Rachid Guerraoui, Jovan Komatovic +7

We address the problem of online payments, where users can transfer funds among themselves. We introduce Astro, a system solving this problem efficiently in a decentralized, determ…

cs.DC2020

Dynamic Byzantine Reliable Broadcast [Technical Report]

Rachid Guerraoui, Jovan Komatovic, Petr Kuznetsov +3

Reliable broadcast is a communication primitive guaranteeing, intuitively, that all processes in a distributed system deliver the same set of messages. The reason why this primitiv…