Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Banyan: Fast Rotating Leader BFT
MIDDLEWARE '24: Proceedings of the 25th International Middleware ConferencePages 494–507https://doi.org/10.1145/3652892.3700788This paper presents Banyan, the first rotating leader state machine replication (SMR) protocol that allows transactions to be confirmed in just a single round-trip time in the Byzantine fault tolerance (BFT) setting. Based on minimal alterations to the ...
- research-articleAugust 2024JUST ACCEPTED
Exploring Scalability of BFT Blockchain Protocols through Network Simulations
Novel Byzantine fault-tolerant (BFT) state machine replication protocols improve scalability for their practical use in distributed ledger technology, where hundreds of replicas must reach consensus. Evaluating the performance of BFT protocol ...
- research-articleJune 2024
Invited Paper: Blockchains made Lightweight: A Median Rule for State Machine Replication
ApPLIED'24: Proceedings of the 2024 Workshop on Advanced Tools, Programming Languages, and PLatforms for Implementing and Evaluating algorithms for Distributed systemsPages 1–5https://doi.org/10.1145/3663338.3665452In this short paper we present our ongoing research on a lightweight blockchain based on a solution for state machine replication with proofs. More precisely, we show how to adapt a simple median rule for the stabilizing consensus problem [4] to obtain a ...
- extended-abstractJune 2024
Brief Announcement: Racos: A Leaderless Erasure Coding State Machine Replication
SPAA '24: Proceedings of the 36th ACM Symposium on Parallelism in Algorithms and ArchitecturesPages 379–381https://doi.org/10.1145/3626183.3660273Cloud storage systems often use state machine replication (SMR) to ensure reliability and availability. Erasure coding has recently been integrated with SMR to reduce disk and network I/O costs. This brief announcement shares our experience in developing ...
- research-articleNovember 2023
Abraxas: Throughput-Efficient Hybrid Asynchronous Consensus
CCS '23: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications SecurityPages 519–533https://doi.org/10.1145/3576915.3623191Protocols for state-machine replication (SMR) often trade off performance for resilience to network delay. In particular, protocols for asynchronous SMR tolerate arbitrary network delay but sacrifice throughput/latency when the network is fast, while ...
-
- research-articleNovember 2023
Analyzing the Real-World Security of the Algorand Blockchain
CCS '23: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications SecurityPages 830–844https://doi.org/10.1145/3576915.3623167The Algorand consensus protocol is interesting both in theory and in practice. On the theoretical side, to achieve adaptive security, it introduces the novel idea of player replaceability, where each step of the protocol is executed by a different ...
- research-articleOctober 2023
Joining Parallel and Partitioned State Machine Replication Models for Enhanced Shared Logging Performance
LADC '23: Proceedings of the 12th Latin-American Symposium on Dependable and Secure ComputingPages 90–99https://doi.org/10.1145/3615366.3615422State Machine Replication (SMR) is a widely used approach for implementing highly available fault-tolerant services with critical data and strong consistency requirements. Although being a rather simple execution model from a design perspective, ...
- research-articleOctober 2023
A Time-Phased Partitioned Checkpoint Approach to Reduce State Snapshot Overhead
LADC '23: Proceedings of the 12th Latin-American Symposium on Dependable and Secure ComputingPages 100–109https://doi.org/10.1145/3615366.3615417Replication and recovery are essential techniques in developing fault-tolerant systems. Replication enhances availability by ensuring the system remains operational even in the presence of faults, while recovery improves resilience by replacing failed ...
- research-articleSeptember 2023
CrossTalk: Making Low-Latency Fault Tolerance Cheap by Exploiting Redundant Networks
ACM Transactions on Embedded Computing Systems (TECS), Volume 22, Issue 5sArticle No.: 147, Pages 1–25https://doi.org/10.1145/3609436Real-time embedded systems perform many important functions in the modern world. A standard way to tolerate faults in these systems is with Byzantine fault-tolerant (BFT) state machine replication (SMR), in which multiple replicas execute the same ...
NeoBFT: Accelerating Byzantine Fault Tolerance Using Authenticated In-Network Ordering
ACM SIGCOMM '23: Proceedings of the ACM SIGCOMM 2023 ConferencePages 239–254https://doi.org/10.1145/3603269.3604874Mission critical systems deployed in data centers today are facing more sophisticated failures. Byzantine fault-tolerant (BFT) protocols are capable of masking these types of failures, but are rarely deployed due to their performance cost and complexity. ...
- research-articleJune 2023
Invited Paper: Planetary Scale Byzantine Consensus
ApPLIED 2023: Proceedings of the 5th workshop on Advanced tools, programming languages, and PLatforms for Implementing and Evaluating algorithms for Distributed systemsArticle No.: 9, Pages 1–6https://doi.org/10.1145/3584684.3597270Byzantine fault tolerant consensus protocols are implemented with consecutive broadcasts but suffer from a low throughput at large geographical scale or planetary scale. A reason for this inefficiency is believed to be their all-to-all communication ...
- research-articleMay 2023
Trees and Turtles: Modular Abstractions for State Machine Replication Protocols
PaPoC '23: Proceedings of the 10th Workshop on Principles and Practice of Consistency for Distributed DataPages 9–15https://doi.org/10.1145/3578358.3592148We present two abstractions for designing modular state machine replication (SMR) protocols: trees and turtles. A tree captures the set of possible state machine histories, while a turtle represents a subprotocol that tries to find agreement in this ...
Omni-Paxos: Breaking the Barriers of Partial Connectivity
EuroSys '23: Proceedings of the Eighteenth European Conference on Computer SystemsPages 314–330https://doi.org/10.1145/3552326.3587441Omni-Paxos is a system for state machine replication that is completely resilient to partial network partitions, a major source of service disruptions in recent years. Omni-Paxos achieves its resilience through a decoupled design that separates the ...
- research-articleJune 2023
Fluidity: Location-Awareness in Replicated State Machines
SAC '23: Proceedings of the 38th ACM/SIGAPP Symposium on Applied ComputingPages 192–201https://doi.org/10.1145/3555776.3577763In planetary-scale replication systems, the overall response delay is greatly influenced by the geographical distances between client and server nodes. Current systems define the replica locations statically during startup time. However, the selected ...
- short-paperNovember 2022
Does my BFT protocol implementation scale?
DICG '22: Proceedings of the 3rd International Workshop on Distributed Infrastructure for the Common GoodPages 19–24https://doi.org/10.1145/3565383.3566109The novel blockchain generation of Byzantine fault-tolerant (BFT) state machine replication (SMR) protocols focuses on scalability and performance to meet the requirements of distributed ledger technology (DLT), e.g., decentralization and geographic ...
State machine replication scalability made simple
EuroSys '22: Proceedings of the Seventeenth European Conference on Computer SystemsPages 17–33https://doi.org/10.1145/3492321.3519579Consensus, state machine replication (SMR) and total order broadcast (TOB) protocols are notorious for being poorly scalable with the number of participating nodes. Despite the recent race to reduce overall message complexity of leader-driven SMR/TOB ...
- research-articleNovember 2021
Achieving state machine replication without honest players
AFT '21: Proceedings of the 3rd ACM Conference on Advances in Financial TechnologiesPages 1–14https://doi.org/10.1145/3479722.3480986Existing standards for player characterisation in tokenised state machine replication protocols depend on honest players who will always follow the protocol, regardless of possible token increases for deviating. Given the ever-increasing market ...
- extended-abstractJuly 2021
Brief Announcement: Malicious Security Comes for Free in Consensus with Leaders
PODC'21: Proceedings of the 2021 ACM Symposium on Principles of Distributed ComputingPages 195–198https://doi.org/10.1145/3465084.3467953We consider consensus protocols in the model that is most commonly considered for use in state machine replication, as initiated by Dwork-Lynch-Stockmeyer, then by Castro-Liskov in 1999 with "PBFT." Such protocols guarantee, assuming n players out of ...
- extended-abstractJuly 2021
Brief Announcement: Be Prepared When Network Goes Bad: An Asynchronous View-Change Protocol
PODC'21: Proceedings of the 2021 ACM Symposium on Principles of Distributed ComputingPages 187–190https://doi.org/10.1145/3465084.3467941The popularity of permissioned blockchain systems demands BFT SMR protocols that are efficient under good network conditions (synchrony) and robust under bad network conditions (asynchrony). The state-of-the-art partially synchronous BFT SMR protocols ...
- keynoteJune 2021
Thinking in events: from databases to distributed collaboration software
DEBS '21: Proceedings of the 15th ACM International Conference on Distributed and Event-based SystemsPages 15–24https://doi.org/10.1145/3465480.3467835In this keynote I give a subjective but systematic overview of the landscape of distributed event-based systems, with an emphasis on two areas I have worked on over the last decade: large-scale stream processing with Apache Kafka and associated tools, ...