1 citations · 2 across the 6 of their papers we have counts for
7 papers
Synchronization in Anonymous Networks Under Arbitrary Dynamics
Rida Bazzi, Cameron Bickley, Anya Chaturvedi +2
We present the -Synchronizer, which works in non-synchronous dynamic networks under minimal assumptions. Our model allows for arbitrary topological changes without any guarantee…
Secret Quorums: Protecting Byzantine Protocols Against Adaptive Adversaries
Maxence Perion, Sara Tucci-Piergiovanni, Rida Bazzi
Modern committee-based payment protocols improve scalability by delegating critical operations to small subsets of participants, such as validator committees in blockchains or shar…
Fractional Payment Transactions: Executing Payment Transactions in Parallel with Less than f+1 Validations
Rida Bazzi, Sara Tucci-Piergiovanni
We consider the problem of supporting payment transactions in an asynchronous system in which up to validators are subject to Byzantine failures under the control of an adaptiv…
Breaking the Barrier: Executing Payment Transactions in Parallel with Less than Validations
Rida A. Bazzi, Sara Tucci-Piergiovanni
We consider the problem of supporting payment transactions in an asynchronous system in which up to validators are subject to Byzantine failures under the control of an adaptiv…
Clairvoyant State Machine Replication
Rida Bazzi, Maurice Herlihy
We propose a new protocol for the generalized consensus problem in asynchronous systems subject to Byzantine server failures. The protocol solves the consensus problem in a setting…
Leader Election and Shape Formation with Self-Organizing Programmable Matter
Joshua J. Daymude, Zahra Derakhshandeh, Robert Gmyr +4
We consider programmable matter consisting of simple computational elements, called particles, that can establish and release bonds and can actively move in a self-organized way, a…
A Formal Study on Backward Compatible Dynamic Software Updates
Jun Shen, Rida A. Bazzi
We study the dynamic software update problem for programs interacting with an environment that is not necessarily updated. We argue that such updates should be backward compatible.…