activity
20202026
most citedTwins: BFT Systems Made Robust

7 citations · 16 across the 15 of their papers we have counts for

collaborators

16 papers

cs.CR2026

Authenticated Data Structures for Dynamic Workloads

Ziheng Shangguan, Aviv Yaish, Dahlia Malkhi

We introduce the Huffman-Merkle Tree (HMT), an authenticated data structure (ADS) for dynamic workloads where items may differ in access frequencies, and access frequencies can cha…

cs.DC2026

eAVID: Asynchronous Verifiable Information Dispersal with Post-Dissemination Pruning

Rithwik Kerur, Dahlia Malkhi, Michael K. Reiter

The well-known Asynchronous Verifiable Information Dispersal (AVID) problem lets a sender disperse a message across nodes such that it remains recoverable despite up to $F…

cs.DC2026

Hermes: Low Tail-Latency Via Prefix Consensus

Alejandro Ranchal-Pedrosa, Dakai Kang, Neil Giridharan +3

Leader-based BFT protocols finalize through their leaders: a view whose leader is crashed or slow finalizes nothing, and the timeout that ends it admits no good setting. A conserva…

cs.CR2026

SPIDER: Two Server Functionality for the Cost of Zero

Ofir Dvir, Kali Hale, Javin Zipkin +2

We introduce baseSPIDER and SPIDER, private information retrieval (PIR) schemes that embody two technical advancements. The baseSPIDER protocol operates with a single server and a…

cs.DC2026

Finding Nemo-Nemo: CFT DAG-based Consensus in the WAN

Rithwik Kerur, Pasindu Tennage, Philipp Jovanovic +3

This paper introduces Nemo-Nemo, a practical crash-fault tolerant (CFT) consensus protocol designed to outperform existing protocols in wide-area networks by bridging design princi…

cs.CR2026

Space Fabric: A Satellite-Enhanced Trusted Execution Architecture

Filip Rezabek, Dahlia Malkhi, Amir Yahalom

The emergence of decentralized satellite networks creates a pressing need for trust architectures that operate without physical access to hardware, without pre-provisioned vendor s…

cs.DC2026

eAID: Elastic Asynchronous Information Dispersal with Post-Dissemination Pruning

Rithwik Kerur, Divyakant Agrawal, Dahlia Malkhi +2

Spreading and storing erasure-coded data effectively in distributed systems is challenging in practical settings. The dissemination of erasure-coded information is typically design…

cs.DC2025

Lyte Quorum: Off-Chain Ready Smart Contract Hosted with Choice

Hao Hao, Dahlia Malkhi, Maofan Yin +1

This paper introduces Lyquor, a decentralized platform that reimagines blockchain infrastructure through a service-centric model where nodes selectively host smart contracts (calle…

cs.DB2025

Carry the Tail in Consensus Protocols

Suyash Gupta, Dakai Kang, Dahlia Malkhi +1

We present Carry-the-Tail, the first deterministic atomic broadcast protocol in partial synchrony that, after GST, guarantees a constant fraction of commits by non-faulty leaders a…

cs.GT2025★ 1 cited

Inequality in the Age of Pseudonymity

Aviv Yaish, Nir Chemaya, Dahlia Malkhi +1

Inequality measures such as the Gini coefficient are used to inform and motivate policymaking, and are increasingly applied to digital platforms. We analyze how measures fare in ps…

cs.DC2024★ 1 cited

BFTBrain: Adaptive BFT Consensus with Reinforcement Learning

Chenyuan Wu, Haoyun Qin, Mohammad Javad Amiri +3

This paper presents BFTBrain, a reinforcement learning (RL) based Byzantine fault-tolerant (BFT) system that provides significant operational benefits: a plug-and-play system suita…

cs.DB2024★ 1 cited

HotStuff-1: Linear Consensus with One-Phase Speculation

Dakai Kang, Suyash Gupta, Dahlia Malkhi +1

This paper introduces HotStuff-1, a BFT consensus protocol that improves the latency of HotStuff-2 by two network hops while maintaining linear communication complexity against fau…

cs.GT2024

CLVR Ordering of Transactions on AMMs

Robert McLaughlin, Nir Chemaya, Dingyue Liu +1

This paper introduces a trade ordering rule that aims to reduce intra-block price volatility in Automated Market Maker (AMM) powered decentralized exchanges. The ordering rule intr…

cs.DC2024

On Orchestrating Parallel Broadcasts for Distributed Ledgers

Peiyao Sheng, Chenyuan Wu, Dahlia Malkhi +4

This paper introduces and develops the concept of ``ticketing'', through which atomic broadcasts are orchestrated by nodes in a distributed system. The paper studies different tick…

cs.DC2023★ 6 cited

BBCA-CHAIN: Low Latency, High Throughput BFT Consensus on a DAG

Dahlia Malkhi, Chrysoula Stathakopoulou, Maofan Yin

This paper presents a partially synchronous BFT consensus protocol powered by BBCA, a lightly modified Byzantine Consistent Broadcast (BCB) primitive. BBCA provides a Complete-Adop…

cs.CR2020★ 7 cited

Twins: BFT Systems Made Robust

Shehar Bano, Alberto Sonnino, Andrey Chursin +4

This paper presents Twins, an automated unit test generator of Byzantine attacks. Twins implements three types of Byzantine behaviors: (i) leader equivocation, (ii) double voting,…