research
∙
05/04/2023
ZLB, a Blockchain Tolerating Colluding Majorities
The problem of Byzantine consensus has been key to designing secure dist...
share
research
∙
08/19/2022
Byzantine Consensus is Θ(n^2): The Dolev-Reischuk Bound is Tight even in Partial Synchrony! [Extended Version]
The Dolev-Reischuk bound says that any deterministic Byzantine consensus...
research
∙
07/13/2022
Smart Red Belly Blockchain: Enhanced Transaction Management for Decentralized Applications
Decentralized Applications (DApps) have seen widespread use in the recen...
research
∙
07/06/2022
SocChain: Blockchain with Swift Proportional Governance for Bribery Mitigation
Blockchain governance is paramount to leading securely a large group of ...
research
∙
06/09/2022
Holistic Verification of Blockchain Consensus
Blockchain has recently attracted the attention of the industry due, in ...
research
∙
04/19/2022
Basilic: Resilient Optimal Consensus Protocols With Benign and Deceitful Faults
The problem of Byzantine consensus has been key to designing secure dist...
research
∙
03/23/2022
CollaChain: A BFT Collaborative Middleware for Decentralized Applications
The sharing economy is centralizing services, leading to misuses of the ...
research
∙
11/02/2021
Rational Agreement in the Presence of Crash Faults
Blockchain systems need to solve consensus despite the presence of ratio...
research
∙
05/10/2021
Agreement in the presence of disagreeing rational players: The Huntsman Protocol
In this paper, a novel Byzantine consensus protocol among n players is p...
research
∙
07/21/2020
Blockchain Is Dead, Long Live Blockchain! Accountable State Machine Replication for Longlasting Blockchain
The long-standing impossibility of reaching agreement restricts the life...
research
∙
07/16/2020
Feasibility of Cross-Chain Payment with Success Guarantees
We consider the problem of cross-chain payment whereby customers of diff...
research
∙
12/22/2019
Dispel: Byzantine SMR with Distributed Pipelining
Byzantine State Machine Replication (SMR) is a long studied topic that r...
research
∙
12/10/2019
Cross-Chain Payment Protocols with Success Guarantees
In this paper, we consider the problem of cross-chain payment whereby cu...
research
∙
10/29/2019
Federated Learning over Wireless Networks: Convergence Analysis and Resource Allocation
There is an increasing interest in a fast-growing machine learning techn...
research
∙
09/16/2019
Formal Verification of Blockchain Byzantine Fault Tolerance
To implement a blockchain, the trend is now to integrate a non-trivial B...
research
∙
09/16/2019
Certifying Blockchain Byzantine Fault Tolerance
To implement a blockchain, the trend is now to integrate a non-trivial B...
research
∙
08/22/2019
Deconstructing Blockchains: A Comprehensive Survey on Consensus, Membership and Structure
It is no exaggeration to say that since the introduction of Bitcoin, blo...
research
∙
07/08/2019
Platypus: a Partially Synchronous Offchain Protocol for Blockchains
Offchain protocols aim at bypassing the scalability and privacy limitati...
research
∙
02/26/2019
The Attack of the Clones against Proof-of-Authority
In this paper, we explore vulnerabilities and countermeasures of the rec...
research
∙
02/26/2019
Byzantine Fault Tolerant Vector Consensus with Anonymous Proposals
In this paper, we introduce the anonymous proposer vector consensus prob...
research
∙
12/31/2018
Evaluating the Red Belly Blockchain
In this paper, we present the most extensive evaluation of blockchain sy...
research
∙
09/11/2018
Vandal: A Scalable Security Analysis Framework for Smart Contracts
The rise of modern blockchains has facilitated the emergence of smart co...
research
∙
05/14/2018
Double-Spending Risk Quantification in Private, Consortium and Public Ethereum Blockchains
Recently, several works conjectured the vulnerabilities of mainstream bl...
research
∙
05/11/2018