research
∙
06/07/2023
Dynamic Probabilistic Reliable Broadcast
Byzantine reliable broadcast is a primitive that allows a set of process...
share
research
∙
12/09/2022
CryptoConcurrency: (Almost) Consensusless Asset Transfer with Shared Accounts
A typical blockchain protocol uses consensus to make sure that mutually ...
research
∙
06/23/2022
Homomorphic Sortition – Secret Leader Election for Blockchain
In a secret single leader election protocol (SSLE), one of the system me...
research
∙
05/27/2022
How to Tame Multiple Spending in Decentralized Cryptocurrencies
The last decade has seen a variety of Asset-Transfer systems designed fo...
research
∙
05/24/2022
Distributed Randomness from Approximate Agreement
Randomisation is a critical tool in designing distributed systems. The c...
research
∙
10/11/2021
Peformance Prediction for Coarse-Grained Locking: MCS Case
A standard design pattern found in many concurrent data structures, such...
research
∙
09/17/2021
Relaxed Reliable Broadcast for Decentralized Trust
Reliable broadcast is a fundamental primitive, widely used as a building...
research
∙
09/10/2021
RandSolomon: optimally resilient multi-party random number generation protocol
Multi-party random number generation is a key building-block in many pra...
research
∙
05/11/2021
Permissionless and Asynchronous Asset Transfer [Technical Report]
Most modern asset transfer systems use consensus to maintain a totally o...
research
∙
05/11/2021
Accountability and Reconfiguration: Self-Healing Lattice Agreement
An accountable distributed system provides means to detect deviations of...
research
∙
04/30/2021
Memory-Optimality for Non-Blocking Containers
A bounded container maintains a collection of elements that can be inser...
research
∙
02/25/2021
Revisiting Optimal Resilience of Fast Byzantine Consensus
It is a common belief that Byzantine fault-tolerant solutions for consen...
research
∙
08/05/2020
On Decidability of 2-process Affine Models
An affine model of computation is defined as a subset of iterated immedi...
research
∙
05/27/2020
Asynchronous Reconfiguration with Byzantine Failures
Replicated services are inherently vulnerable to failures and security b...
research
∙
04/27/2020
Online Payments by Merely Broadcasting Messages (Extended Version)
We address the problem of online payments, where users can transfer fund...
research
∙
04/17/2020
An Asynchronous Computability Theorem for Fair Adversaries
This paper proposes a simple topological characterization of a large cla...
research
∙
10/21/2019
Reconfigurable Lattice Agreement and Applications
Reconfiguration is one of the central mechanisms in distributed systems....
research
∙
08/05/2019
Scalable Byzantine Reliable Broadcast (Extended Version)
Byzantine reliable broadcast is a powerful primitive that allows a set o...
research
∙
06/13/2019
The Consensus Number of a Cryptocurrency (Extended Version)
Many blockchain-based algorithms, such as Bitcoin, implement a decentral...
research
∙
10/20/2017