research
∙
09/19/2023
Preliminaries paper: Byzantine Tolerant Strong Auditable Atomic Register
An auditable register extends the classical register with an audit opera...
share
research
∙
08/31/2023
The Synchronization Power of Auditable Registers
Auditability allows to track all the read operations performed on a regi...
research
∙
06/07/2022
Topos: A Secure, Trustless, and Decentralized Interoperability Protocol
Topos is an open interoperability protocol designed to reduce as much as...
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
∙
01/31/2020
Tenderbake – Classical BFT Style Consensus for Public Blockchains
Our work has been originally motivated by Tezos, a public blockchain whi...
research
∙
10/22/2019
On Fairness in Committee-based Blockchains
Committee-based blockchains are among the most popular alternatives of p...
research
∙
05/22/2018
Correctness and Fairness of Tendermint-core Blockchains
Tendermint-core blockchains offer strong consistency (no forks) in an op...
research
∙
02/27/2018