Rida A. Bazzi

Associate Professor, Computer Science
Fulton Schools of Engineering, Arizona State University

 

Research

My two main areas of research are computer security and distributed computing.

Our past efforts on Dynamic Software UPdates (DSU) can be found at the Dynamic Updates of Software Systems (DUOSS) project pages.

Journal Papers

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

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

Teaching

I teach a variety of courses. Students can access course material through blackboard. Recently taught courses:

  • Fall 2015
    • Applied Cryptography
  • Spring 2015
    • Usable Security (CSE 591)
    • Programming Languages (CSE340)
  • Fall 2014
    • Compiler Construction (CSE440)
    • Programming Languages (CSE340)
  • Spring 2014
    • Programming Languages (CSE340)
  • Fall 2013
    • Two sections of Programming Languages (CSE340)
    • Principles of Distributed Computing (CSE591)
  • Spring 2013
    • Programming Languages (CSE340)
  • Fall 2012
    • Programming Languages (CSE340)
    • Computer Networks (CSE 434)
    • The ASU Experience (ASU 101)
  • Spring 2011
    • Theory of Computation (CSE 555)
    • Programming Languages (CSE 340)
  • Fall 2010
    • Compiler Construction (CSE440/598)
    • Programming Languages (CSE 340)
  • Spring 2010
    • Theory of Computation (CSE 555)

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)

Conferences

Honors / Awards

NSF CAREER Award

Contact Information

School of Computing, Informatics and Decision Systems Engineering
Brickyard Engineering (BYENG) 553
699 S. Mill Ave. Tempe, AZ 85281

Phone: (480) 965-2796
Fax: (480) 965-2751