Photographing in Lower Antelope Canyon, Arizona.
Hi, I'm a PhD student studying cryptography at the University of Illinois. My current research focuses on reconciling computational features and non-malleability in encryption schemes, and on classifying the complexity of multi-party computation tasks. My thesis advisors are Manoj Prabhakaran and Michael Loui.
News:
- Slides from Crypto in the Clouds workshop are up.
- I'm now at the University of Montana, getting ready for the fall semester and enjoying the mountains!
- Maulik Choksi, a student in CS 125, interviewed me about my research and wrote a nice overview of my work on homomorphic encryption (the 3rd report on the page).
Publications:
- The Structure of Secure Multi-Party Computation
- Mike Rosulek. PhD dissertation, 2009.
- Complexity of Multiparty Computation Problems:
The Case of 2-Party Symmetric Secure Function Evaluation - Hemanta Maji, Manoj Prabhakaran & Mike Rosulek. In TCC 2009.
- Towards Robust Computation on Encrypted Data
- Manoj Prabhakaran & Mike Rosulek. In ASIACRYPT 2008.
- Cryptographic Complexity of Multi-party Computation Problems:
Classifications and Separations - Manoj Prabhakaran & Mike Rosulek. In CRYPTO 2008.
- Homomorphic Encryption with CCA Security
- Manoj Prabhakaran & Mike Rosulek. In ICALP 2008.
- Harvesting Credentials in Trust Negotiation as an Honest-But-Curious Adversary
- Lars Olson, Mike Rosulek & Marianne Winslett. In WPES 2007.
- Rerandomizable RCCA Encryption
- Manoj Prabhakaran & Mike Rosulek. In CRYPTO 2007.
Additional listing at DBLP.
In the Queue:
- A Zero-One Law for Deterministic 2-Party Secure Computation
- Hemanta Maji, Manoj Prabhakaran & Mike Rosulek. Submitted.
- Attribute-Based Signatures: Achieving Attribute-Privacy and Collusion-Resistance
- Hemanta Maji, Manoj Prabhakaran & Mike Rosulek. Manuscript.
- Reconciling Non-malleability with Homomorphic Encryption
- Manoj Prabhakaran & Mike Rosulek. In progress.
Other Presentations:
- Reconciling Non-malleability and Homomorphic Encryption
- Crypto in the Clouds workshop, August 2009.
- Zero-Knowledge Proofs, with Applications to Sudoku and Where's Waldo
- Educational talk, December 2008.
- The State of the Art in Program Obfuscation
- UIUC CS theory seminar, September 2006.
Recent Teaching Experience:
- CS 273, Models of Computation, Summer 2008 [co-teaching]
- CS 579, Computational Complexity, Spring 2007 [TA]
- CS 498 MMP, Theoretical Foundations of Cryptography, Fall 2006 [TA]
Miscellanea:
- I organized the Fall 2006 and Fall 2008 CS theory seminar.
- My personal website, which contains some of my photography and surprisingly little else.