Rida A. Bazzi

Journal Papers

• Dana Angluin, James Aspnes, Rida A. Bazzi, Jiang Chen, David Eisenstat, and Goran Konjevod: Effective storage capacity of labeled graphs, Information and Computation, volume 234, pages 44-56, February 2014.
• Rida A. Bazzi,Young-ri Choi, and Mohamed G. Gouda: Hop chains: Secure routing and the establishment of distinct identities. Theoretical Computer Science Vol. 410, Issue 6-7, pp. 467-480 (February 2009). S
• Rida A. Bazzi, Goran Konjevod: On the establishment of distinct identities in overlay networks. Distributed Computing. 19(4): 267-287 (2007). S
• Rida A. Bazzi and Gil Neiger. Simplifying Fault Tolerance: Providing the Abstraction of Crash Failures. Journal of the ACM, Vol.48, No. 3, pp. 499-554, ACM, May 2001. FT
• Rida A. Bazzi. Access cost for asynchronous Byzantine quorum systems. Distributed Computing, Vol. 14, No. 1, pp 41-48, ACM-Springer, January 2001 ( Conference version). FT Q
• Rida A. Bazzi. Planar Quorums. Theoretical Computer Science, Vol. 243, Nos. 1-2, pp. 243--268, Elsevier, July 2000. FT Q
• Rida A. Bazzi. Synchronous Byzantine Quorum Systems. Distributed Computing, Vol. 13, No. 1, pp. 45--52 ACM-Springer, January 2000. FT Q
• Rida A. Bazzi, Gil Neiger and Gary L. Peterson. On the use of registers in achieving wait-free Consensus. Distributed Computing, Vol. 10, No. 3, pp. 117-128, Springer, 1997. FT
• Gil Neiger and Rida A. Bazzi. Using knowledge to optimally achieve coordination in distributed systems. Theoretical Computer Science, 220, pp. 31-65, Elsevier, 1999. K
• Rida A. Bazzi and Gil Neiger. The Complexity of almost optimal coordination. Algorithmica, Vol. 17, pp. 308-321, Springer, 1997. K

Book Chapter

• Rida A. Bazzi and Feras Karablieh. Development of reliable commercial applications in large and open distributed systems. In Handbook of E-business, Paul B. Lowry, J. Owen Cherrington, and Ronald R. Watson eds., CRC Press 2002. FT S

Refereed Conference Papers

Security-Related

• Mohsen Zohrevandi and Rida A. Bazzi: Auto-FBI: A User-friendly Approach for Secure Access to Sensitive Content on the Web. In proceedings of the Annual Computer Security Applications Conference (ACSAC), December 2013 Click here for video demo. S
• Amitanand S. Aiyer, Lorenzo Alvisi, Rida A. Bazzi and Allen Clement: Matrix Signatures: From MACs to Digital Signatures in Distributed Systems. International Symposium on Distributed Computing (DISC) 2008: 16-31 S
• Rida A. Bazzi, Yin Ding: Bounded Wait-Free f-Resilient Atomic Byzantine Data Storage Systems for an Unbounded Number of Clients. International Symposium on Distributed Computing (DISC) 2006: 299-313 FT S
• Rida A. Bazzi, Young-ri Choi, Mohamed G. Gouda: Hop Chains: Secure Routing and the Establishment of Distinct Identities. International Conference On Principles Of Distributed Systems (OPODIS) 2006: 365-379 Award Paper S
• Rida A. Bazzi, Goran Konjevod: Efficient Verification for Provably Secure Storage and Secret Sharing in Systems Where Half the Servers Are Faulty. International Symposium on Distributed Computing (DISC) 2004: 420-434. FT S
• Rida A. Bazzi, K. Selcuk Candan, Raphael Badin, and Aziz Fajri: Provably Secure Data Hiding and Tamper Resistance for a Simple Loop Program. In Proceedings of SPIE Aerosense Conference, Orlando, Florida, April 2003. S
• Rida A. Bazzi, Goran Konjevod: On the establishment of distinct identities in overlay networks. ACM Symposium on Principles of Distributed Computing (PODC) 2005: 312-320 Award Paper S

Dynamic Software Update

• Jun Shen and Rida A. Bazzi: A Formal Study of Backward Compatible Dynamic Software Updates In proceedings of Software Engineering and Formal Methods (SEFM) , September, 2015 FT
• Ruben Acuna, Zoe Lacroix, and Rida A. Bazzi: Instrumentation and Trace Analysis for Ad-Hoc Python Workflows in Cloud Environments In proceedings of IEEE 8th International Conference on Cloud Computing (CLOUD) , June, 2015
• Mohsen Zohrevandi and Rida A. Bazzi: The Bounded Data Reuse Problem in Scientific Workflows. In proceedings of the 27th IEEE International Parallel & Distributed Processing Symposium (IPDPS), May 2013.
• Rida A. Bazzi, Bryan Topp, and Iulian Neamtiu: How to have your cake and eat it too: Dynamic software updating with just-in-time overhead. In Proceedings of the 4th International Workshop on Hot Topics in Software Upgrades (HotSWUp), June 2012, pp. 1-5.
• Rida A. Bazzi, Jeffrey M. Kiefer, and Zoé Lacroix: A User-Centric Classification of Tools for Biological Resource Discovery and Integration on the Web. In Third International Workshop on Resource Discovery (RED), November 2010, pp. 71-87
• Kristis Makris and Rida A. Bazzi: Immediate Multi-Threaded Dynamic Software Updates Using Stack Reconstruction. USENIX Annual Technical Conference, 2009. FT

Distributed Computing

• Zahra Derakhshandeh, Robert Gmyr, Thim Strothmann, Rida A. Bazzi, Andrea W. Richa, and Christian Scheideler: Leader Election and Shape Formation with Self-organizing Programmable Matter In proceedings of 21st International Conference on DNA Computing and Molecular Programming , August, 2015
• Hrishikesh B. Acharya, Taehwan Choi, Rida A. Bazzi, and Mohamed G. Gouda: The K-Observer Problem in Computer Networks. Thirteenth International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), October 2011, pp. 5-18.
• Dana Angluin, James Aspnes, Rida A. Bazzi, Jiang Chen, David Eisenstat, and Goran Konjevod: Storage capacity of labeled graphs. Twelfth International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), September 2010, pp. 573-587. Best student paper award
• Rida A. Bazzi, Maurice Herlihy: Enhanced Fault-Tolerance through Byzantine Failure Detection. In Proceedings of the 13th International Conference on Principles of Distributed Systems (OPODIS), December 2009, pp. 129-143.
• Amitanand S. Aiyer, Lorenzo Alvisi, Rida A. Bazzi: Bounded Wait-Free Implementation of Optimally Resilient Byzantine Storage Without (Unproven) Cryptographic Assumptions. International Symposium on Distributed Computing (DISC) 2007: 7-19 FT S
• Amitanand S. Aiyer, Lorenzo Alvisi, Rida A. Bazzi: Byzantine and Multi-writer K-Quorums. International Symposium on Distributed Computing (DISC) 2006: 443-458 FT Q
• Amitanand S. Aiyer, Lorenzo Alvisi, Rida A. Bazzi: On the Availability of Non-strict Quorum Systems. International Symposium on Distributed Computing (DISC) 2005: 48-62. FT Q
• Rida A. Bazzi, Yin Ding: Non-skipping Timestamps for Byzantine Data Storage Systems. International Symposium on Distributed Computing (DISC) 2004: 405-419. FT
• Feras Karablieh, Rida A. Bazzi: Heterogeneous Checkpointing for Multithreaded Applications. In Proceedings of the 21st Symposium on Reliable Distributed Systems (SRDS) , Japan 2002: 140-149. FT
• Feras Karablieh, Rida A. Bazzi, and Margaret Hicks: Compiler-Assisted Heterogeneous Checkpointing. In Proceedings of the 20th Symposium on Reliable Distributed Systems (SRDS) , New Orleans, Louisiana, 2001. FT

Non-refereed publications

• Rida A. Bazzi, Yin Ding: Brief announcement: wait-free implementation of multiple-writers/multiple-readers atomic byzantine data storage systems. PODC 2005: 353. FT
• Ping Lin, K. Selçuk Candan, Rida A. Bazzi, Zhichao Liu: Hiding Data and Code Security for Application Hosting Infrastructure. ISI 2003: 388. S
• Rida A. Bazzi, Uday Deshraj and Feras Karablieh: Compiler-Generated Primary/Backup Pairs in Heterogeneous System (2-page Abstract) International Conference on Dependable Systems and Networks, Goteborg, Sweden, 2001. FT

Technical Report

• Rida A. Bazzi. Code Hiding for Mobile Agents Security. Technical Report ASU-CSE-TR-111298, Computer Science and Engineering Department, Arizona State University. S

Current Students

• Mohsen Zohrevandi (PhD, Usable security)
• Jun Shen (PhD, Dynamic software update)
• Saurabh Gupta (MSc, Crypto Currencies)
• Jadiel de Armas (MSc, Data Reuse in Scientific Workflows)
• Nathan Ogata (undergraduate)

Past Students

• PhD
  • Kristis Makris (2009, Whole program dynamic software updating)
  • Yin Ding (2008, Byzantine fault-tolerant storage system)
  • Feras Karablieh (2005, Compiler assisted application-level fault tolerance in distributed systems)
• MSc
  • Aaron Gibson (2015, Graphical Representations of Security Settings in Android)
  • Satyabrata Sharma (2015, Using Contextual Information to Improve Phishing Warning Effectiveness)
  • Ruben Acuna (2015, Understanding Legacy Workflows through Runtime Trace Analysis)
  • Preetika Tgayi (2011, Client-driven dynamic schema updates)
  • Joseph Stith (2010, Visualization of event sequences for maximizing overall equipment efficiency)
  • Venkatesh Mandalapa (2009, Schema evolution analysis tool suite (SEATS): understanding schema evolution in web information relational database systems)
  • Rajkumar Ponnusamy (2009, Optimization of derived table creation framework for online non-blocking relational schema changes)
  • Scott Turley (2005, Heterogeneous checkpointing for real-time systems: incremental checkpointing in the application)
  • Jimi Shah (2004, Polynomial time replica placement in content delivery networks)
  • Amit Umesh Shanbhag (2003, Portable cross-version checkpointing and recovery for dynamic software updates)
  • Hema Krishnamurthy (2001, Access control and delegation in concurrent systems: a formal approach)
  • Margaret Hicks (2001, A source-to-source compiler supporting portable checkpoints in heterogeneous systems)
  • Uday Deshraj (2000, Automatic and transparent fault detection and recovery framework)
  • Amit Jindal (1999, Quorums: replication of data in distributed systems)
• Honor Theses
  • Maya Muraldihar (2010, A study of the schema evolution of wordpress)
  • Randy Compton (2009, Safety checking of dynamic program updates)