Rida A. Bazzi

According to our database, Rida A. Bazzi authored at least 54 papers between 1991 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

Breaking the f+1 Barrier: Executing Payment Transactions in Parallel with Less than f+1 Validations.

Rida A. Bazzi, Sara Tucci Piergiovanni

CoRR, 2023

Brief Announcement: Breaking the <i>f</i> + 1 Barrier: Executing Payment Transactions in Parallel with Less than <i>f</i> + 1 Validations.

Rida A. Bazzi, Sara Tucci Piergiovanni

Proceedings of the 2023 ACM Symposium on Principles of Distributed Computing, 2023

2022

Clairvoyant state machine replication.

Rida A. Bazzi, Maurice Herlihy

Inf. Comput., 2022

2019

Stationary and Deterministic Leader Election in Self-organizing Particle Systems.

Rida A. Bazzi, Joseph L. Briones

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2019

2018

Clairvoyant State Machine Replications.

Rida A. Bazzi, Maurice Herlihy

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2018

Brief Announcement: Deterministic Leader Election in Self-organizing Particle Systems.

Rida A. Bazzi, Joseph L. Briones

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2018

AVAIL: Assured Volt-Ampère Information Ledger.

Teklemariam Tesfay, Mahdi Jamei, Anna Scaglione, Mojdeh Khorsand, Kory Hedman, Rida A. Bazzi

Proceedings of the 2018 IEEE International Conference on Communications, 2018

2015

A Formal Study of Backward Compatible Dynamic Software Updates.

Jun Shen, Rida A. Bazzi

Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015

Brief Announcement: On the Feasibility of Leader Election and Shape Formation with Self-Organizing Programmable Matter.

Zahra Derakhshandeh, Robert Gmyr, Thim Strothmann, Rida A. Bazzi, Andréa W. Richa, Christian Scheideler

Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing, 2015

Leader Election and Shape Formation with Self-organizing Programmable Matter.

Zahra Derakhshandeh, Robert Gmyr, Thim Strothmann, Rida A. Bazzi, Andréa W. Richa, Christian Scheideler

Proceedings of the DNA Computing and Molecular Programming - 21st International Conference, 2015

Instrumentation and Trace Analysis for Ad-Hoc Python Workflows in Cloud Environments.

Ruben Acuña, Zoé Lacroix, Rida A. Bazzi

Proceedings of the 8th IEEE International Conference on Cloud Computing, 2015

2014

Effective storage capacity of labeled graphs.

Dana Angluin, James Aspnes, Rida A. Bazzi, Jiang Chen, David Eisenstat, Goran Konjevod

Inf. Comput., 2014

2013

The Bounded Data Reuse Problem in Scientific Workflows.

Mohsen Zohrevandi, Rida A. Bazzi

Proceedings of the 27th IEEE International Symposium on Parallel and Distributed Processing, 2013

Auto-FBI: a user-friendly approach for secure access to sensitive content on the web.

Mohsen Zohrevandi, Rida A. Bazzi

Proceedings of the Annual Computer Security Applications Conference, 2013

2012

How to have your cake and eat it too: Dynamic software updating with just-in-time overhead.

Rida A. Bazzi, Bryan Topp, Iulian Neamtiu

Proceedings of the 4th International Workshop on Hot Topics in Software Upgrades, 2012

2011

The K-Observer Problem in Computer Networks.

Hrishikesh B. Acharya, Taehwan Choi, Rida A. Bazzi, Mohamed G. Gouda

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2011

Foreword.

Michael Hicks, Rida A. Bazzi, Carlo Zaniolo

Proceedings of the Workshops Proceedings of the 27th International Conference on Data Engineering, 2011

2010

Storage Capacity of Labeled Graphs.

Dana Angluin, James Aspnes, Rida A. Bazzi, Jiang Chen, David Eisenstat, Goran Konjevod

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2010

A User-Centric Classification of Tools for Biological Resource Discovery and Integration on the Web.

Rida A. Bazzi, Jeffrey M. Kiefer, Zoé Lacroix

Proceedings of the Resource Discovery - Third International Workshop, 2010

2009

Hop chains: Secure routing and the establishment of distinct identities.

Rida A. Bazzi, Young-ri Choi, Mohamed G. Gouda

Theor. Comput. Sci., 2009

Immediate Multi-Threaded Dynamic Software Updates Using Stack Reconstruction.

Kristis Makris, Rida A. Bazzi

Proceedings of the 2009 USENIX Annual Technical Conference, 2009

Enhanced Fault-Tolerance through Byzantine Failure Detection.

Rida A. Bazzi, Maurice Herlihy

Proceedings of the Principles of Distributed Systems, 13th International Conference, 2009

Dynamic Software Updates: The State Mapping Problem.

Rida A. Bazzi, Kristis Makris, Peyman Nayeri, Jun Shen

Proceedings of the 2nd ACM Workshop on Hot Topics in Software Upgrades, 2009

2008

Matrix Signatures: From MACs to Digital Signatures in Distributed Systems.

Amitanand S. Aiyer, Lorenzo Alvisi, Rida A. Bazzi, Allen Clement

Proceedings of the Distributed Computing, 22nd International Symposium, 2008

2007

On the establishment of distinct identities in overlay networks.

Rida A. Bazzi, Goran Konjevod

Distributed Comput., 2007

Bounded Wait-Free Implementation of Optimally Resilient Byzantine Storage Without (Unproven) Cryptographic Assumptions.

Amitanand S. Aiyer, Lorenzo Alvisi, Rida A. Bazzi

Proceedings of the Distributed Computing, 21st International Symposium, 2007

2006

Bounded Wait-Free <i>f</i>-Resilient Atomic Byzantine Data Storage Systems for an Unbounded Number of Clients.

Rida A. Bazzi, Yin Ding

Proceedings of the Distributed Computing, 20th International Symposium, 2006

Byzantine and Multi-writer K-Quorums.

Amitanand S. Aiyer, Lorenzo Alvisi, Rida A. Bazzi

Proceedings of the Distributed Computing, 20th International Symposium, 2006

A Captcha Based on the Human Visual Systems Masking Characteristics.

Rony Ferzli, Rida A. Bazzi, Lina J. Karam

Proceedings of the 2006 IEEE International Conference on Multimedia and Expo, 2006

2005

On the Availability of Non-strict Quorum Systems.

Amitanand S. Aiyer, Lorenzo Alvisi, Rida A. Bazzi

Proceedings of the Distributed Computing, 19th International Conference, 2005

Brief announcement: wait-free implementation of multiple-writers/multiple-readers atomic byzantine data storage systems.

Rida A. Bazzi, Yin Ding

Proceedings of the Twenty-Fourth Annual ACM Symposium on Principles of Distributed Computing, 2005

Reduced-Delay Selective ARQ for Low Bit-Rate Image and Multimedia Data Transmission.

Tuyet-Trang Lam, Lina J. Karam, Rida A. Bazzi, Glen P. Abousleman

Proceedings of the 2005 IEEE International Conference on Acoustics, 2005

2004

Efficient Verification for Provably Secure Storage and Secret Sharing in Systems Where Half the Servers Are Faulty.

Rida A. Bazzi, Goran Konjevod

Proceedings of the Distributed Computing, 18th International Conference, 2004

Non-skipping Timestamps for Byzantine Data Storage Systems.

Rida A. Bazzi, Yin Ding

Proceedings of the Distributed Computing, 18th International Conference, 2004

Brief announcement: efficient implementation of a byzantine data storage system.

Rida A. Bazzi, Yin Ding

Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Distributed Computing, 2004

Selective fec for error-resilient image coding and transmission using similarity check functions.

Tuyet-Trang Lam, Lina J. Karam, Rida A. Bazzi, Glen P. Abousleman

Proceedings of the 2004 International Conference on Image Processing, 2004

2003

Hiding Data and Code Security for Application Hosting Infrastructure.

Ping Lin, K. Selçuk Candan, Rida A. Bazzi, Zhichao Liu

Proceedings of the Intelligence and Security Informatics, First NSF/NIJ Symposium, 2003

2002

Heterogeneous Checkpointing for Multithreaded Applications.

Feras Karablieh, Rida A. Bazzi

Proceedings of the 21st Symposium on Reliable Distributed Systems (SRDS 2002), 2002

2001

Simplifying fault-tolerance: providing the abstraction of crash failures.

Rida A. Bazzi, Gil Neiger

J. ACM, 2001

Access cost for asynchronous Byzantine quorum systems.

Rida A. Bazzi

Distributed Comput., 2001

Compiler-Assisted Heterogeneous Checkpointing.

Feras Karablieh, Rida A. Bazzi, Margaret Hicks

Proceedings of the 20th Symposium on Reliable Distributed Systems (SRDS 2001), 2001

2000

Planar quorums.

Rida A. Bazzi

Theor. Comput. Sci., 2000

Synchronous Byzantine Quorum Systems.

Rida A. Bazzi

Distributed Comput., 2000

1999

Using Knowledge to Optimally Achieve Coordination in Distributed Systems.

Gil Neiger, Rida A. Bazzi

Theor. Comput. Sci., 1999

Non-blocking Asynchronous Byzantine Quorum Systems.

Rida A. Bazzi

Proceedings of the Distributed Computing, 1999

1997

On the Use of Registers in Achieving Wait-Free Consensus.

Rida A. Bazzi, Gil Neiger, Gary L. Peterson

Distributed Comput., 1997

The Complexity of Almost-Optimal Simultaneous Coordination.

Rida A. Bazzi, Gil Neiger

Algorithmica, 1997

Portable Memory.

Rida A. Bazzi

Proceedings of the 6th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS '97), 1997

1994

On the Use of Registers in Achieving Wait-Free Consensus.

Rida A. Bazzi, Gary L. Peterson

Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing, 1994

A Gap Theorem for Consensus Types (Extended Abstract).

Rida A. Bazzi, Gary L. Peterson

Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing, 1994

1993

The Power of Processor Consistency.

Mustaque Ahamad, Rida A. Bazzi, Ranjit John, Prince Kohli, Gil Neiger

Proceedings of the 5th Annual ACM Symposium on Parallel Algorithms and Architectures, 1993

1992

Simulating Crash Failures with Many Faulty Processors (Extended Abstract).

Rida A. Bazzi, Gil Neiger

Proceedings of the Distributed Algorithms, 6th International Workshop, 1992

The Possibility and the Complexity of Achieving Fault-Tolerant Coordination.

Rida A. Bazzi, Gil Neiger

Proceedings of the Eleventh Annual ACM Symposium on Principles of Distributed Computing, 1992

1991

Optimally Simulating Crash Failures in a Byzantine Environment.

Rida A. Bazzi, Gil Neiger

Proceedings of the Distributed Algorithms, 5th International Workshop, 1991