Students/visitors and supervised projects/theses

PhD students

Current

• Kasra Abbaszadeh
• Chen Bai (co-advised with Gorjan Alagic)
• Noemi Glaeser
• Kanav Gupta
• Doruk Gur
• Ben Sela
• Giorgos Tsimos (co-advised with Babis Papamanthou)

Former

• Michael Rosenberg (2024, co-advised with Ian Miers): Zero-knowledge Proofs for Programmable Anonymity, Moderation, and Reputation
• Erica Blum (2023): Resilient and Efficient Consensus Under Unknown Network Conditions
• Yupeng Zhang (2018, co-advised with Babis Papamanthou): New (Zero-Knowledge) Arguments and Their Applications to Verifiable Computation
  Winner of ACM SIGSAC dissertation award
  ECE Department Distinguished Dissertation Award
• Xiao Wang (2018): A New Paradigm For Practical Maliciously Secure Multi-Party Computation
  Larry S. Davis Doctoral Dissertation Award
• Kartik Nayak (2018, co-advised with Elaine Shi): Efficient Data-Oblivious Computation
• Daniel Apon (2017): Frontiers in Lattice Cryptography and Program Obfuscation
• Aishwarya Thiruvengadam (2017, co-advised with Dana Dachman-Soled): Improving Round Complexity of Ideal-Cipher Constructions
• Andrew Miller (2016, co-advised with Elaine Shi): Provable Security for Cryptocurrencies
  Larry S. Davis Doctoral Dissertation Award
• Alex Malozemoff (2016): Efficient Secure Computation for Real-World Settings and Security Models
• Adam Groce (2014): New Notions and Mechanisms for Statistical Privacy
• Ranjit Kumaresan (2012): Broadcast and Verifiable Secret Sharing: New Security Models and Round-Optimal Constructions
• Arkady Yerukhimovich (2011): A Study of Separations in Cryptography: New Results and New Models
• Dov Gordon (2010): On Fairness in Secure Computation
• Chiu-Yuen Koo (2007): Studies on Fault-Tolerant Broadcast and Secure Computation
• Omer Horvitz (2007): Expressiveness of Definitions and Efficiency of Constructions in Computational Cryptography
• Ruggero Morselli (2006, co-advised with Bobby Bhattacharjee): Lookup Protocols and Techniques for Anonymity

Postdocs (current and former)

• Hendrik Waldner (September 2022 - August 2024)
• Alex Block (September 2022 - )
• Andreea Alexandru (June 2021 - January 2023)
• Georgios Zirdelis (January 2021 - August 2022)
• Jiayu Xu (September 2019 - July 2021)
• Leo Fan (September 2019 - June 2021)
• Julian Loss (November 2019 - May 2021)
• Sina Shiehian (September 2019 - August 2020)
• Daniel Genkin (September 2016 - August 2018)
• Samuel Ranellucci (September 2016 - July 2018)
• Dimitris Papadopoulos (September 2016 - August 2017)
• Jacob Alperin-Sheriff (August 2015 - August 2016)
• Viet Tung Hoang (August 2014 - July 2015)
• Feng-Hao Liu (July 2013 - April 2015)
• Yan Huang (October 2012 - August 2014)
• Jean Paul Degabriele (February 2013 - April 2014)
• Hong-Sheng Zhou (August 2010 - August 2013)
• Dominique Schröder (March 2011 - July 2012)
• Vassilis Zikas (November 2010 - September 2012)
• Raef Bassily (January 2012 - August 2012)
• Seung Geol Choi (September 2010 - August 2012)
• Lior Malka (September 2009 - August 2010)
• Ik Rae Jeong (September 2004 - August 2005)

Visitors

• Dominique Schröder (July - October 2010; August - September 2013; July - August 2015; October - December 2023)
• Tjerand Silde (October 2021 - January 2022)
• Rafael Kurek (January - April 2019)
• Francisco Marmolejo (June - August 2018)
• Johes Bater (May - August 2018)
• Lin Hou (September 2017 - August 2018)
• Vlad Kolesnikov (June - July 2018)
• Houda Ferradi (February - March 2018)
• Zhe Zhang (October 2017 - February 2018)
• Yevgeniy Dodis (June 2016, October - November 2017)
• Sandro Coretti (June 2016, October - November 2017)
• Siyao Guo (June 2016)
• Vanishree Rao (June - September 2014)
• Nils Fleischhacker (August - September 2013)
• Sriram Keelveedhi (June - September 2013)
• Andrew Miller (January 2013 - August 2013)
• Matthew Green (November 2012 - July 2013)
• Peter Nordholt (March 2012 - July 2012)
• Jean Paul Degabriele (January 2012 - June 2012)

PhD Theses, committee member (selected)

• Shravan Srinivasan: Data Structures and Protocols for Scalability and Security of Distributed Consensus
• Ahmed Kosba: Verifiable Computation in Practice: Tools and Protocols
• Aseem Rastogi: Language-based Techniques for Practical and Trustworthy Secure Multi-party Computations
• Piotr Mardziel: Modeling, Quantifying, and Limiting Adversary Knowledge
• Himanshu Tyagi (ECE): Common Randomness Principles of Secrecy
• Yan Huang (UVA, Computer Science): Practical Secure Two-Party Computation
• Raef Bassily (ECE): Alignment and Cooperation for Secrecy in Multi-User Channels
• Sirin Nitinawarat (ECE): Information-Theoretic Secret Key Generation: Structured Codes and Tree Packing
• Dave Levin: Systems-Compatible Incentives
• Seny Kamara (Johns Hopkins, Computer Science): Computing Securely with Untrusted Resources
• Min-Ho Shin: Fast, Scalable, Peer-to-Peer Lookup Services for Multi-Hop Wireless Networks
• Walid Gomaa: Model Theory and Complexity Theory
• Charles Clancy: Dynamic Spectrum Access in Cognitive Radio Networks
• Greg Bard (Applied Math): Algorithms for Solving Linear and Polynomial Systems of Equations over Finite Fields with Applications to Cryptanalysis
• Tsz Wo Sze: On Solving Univariate Polynomial Equations over Finite Fields and Some Related Problems

Master's Theses, advisor

• Julie Staub (Applied Math): An Analysis of Chaum's Voter-Verifiable Election Scheme
• Prathap Sridharan (Applied Math): A Survey of the Attack on MD5

Undergraduate Projects, advisor (selected)

• Paul Seymer: Implementation of an Efficient Password-Authenticated Key Exchange Protocol as a Browser Plug-in
• Daniel Ramsbrock: Magnetic Swipe Card System Security: A Case Study of the University of Maryland
  [Note: at the request of the University of Maryland Office of Information Technology, this is a redacted version of the original thesis which omits some details present in the original. Please contact me for further information.]