research
∙
01/24/2023
Breaking the f+1 Barrier: Executing Payment Transactions in Parallel with Less than f+1 Validations
We consider the problem of supporting payment transactions in an asynchr...
share
research
∙
10/28/2022
Ethereum Proof-of-Stake under Scrutiny
Ethereum has undergone a recent change called the Merge, which made Ethe...
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
∙
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/28/2021
SoK: Achieving State Machine Replication in Blockchains based on Repeated Consensus
This paper revisits the ubiquitous problem of achieving state machine re...
research
∙
05/11/2021
Accountability and Reconfiguration: Self-Healing Lattice Agreement
An accountable distributed system provides means to detect deviations of...
research
∙
12/18/2020
On Finality in Blockchains
There exist many forms of Blockchain finality conditions, from determini...
research
∙
10/22/2019
On Fairness in Committee-based Blockchains
Committee-based blockchains are among the most popular alternatives of p...
research
∙
10/21/2019
Reconfigurable Lattice Agreement and Applications
Reconfiguration is one of the central mechanisms in distributed systems....
research
∙
02/21/2019
Rationals vs Byzantines in Consensus-based Blockchains
In this paper we analyze from the game theory point of view Byzantine Fa...
research
∙
10/23/2018
Pluralize: a Trustworthy Framework for High-Level Smart Contract-Draft
The paper presents Pluralize a formal logical framework able to extend t...
research
∙
09/26/2018
Dissecting Tendermint
In this paper we analyze Tendermint proposed in [7], one of the most pop...
research
∙
02/27/2018