Mike Rosulek
Assistant Professor
School of EECS
Oregon State University

I am a computer scientist interested in cryptography and security. Before joining Oregon State University in 2013, I was Assistant Professor at the University of Montana. Before that, I earned a BS in Computer Science from Iowa State University and a PhD in Computer Science from the University of Illinois. I am the only faculty at Oregon State whose name contains the substring "OSU".

Teaching

In Fall 2016 I am teaching CS 321, Theory of Computation.

Textbook

I am writing an undergraduate textbook on cryptography called The Joy of Cryptography. The book is / will be free, thanks to support from Oregon State's open textbook initiative.

Mentoring

Current advisees:
Former advisees:
  • Perry Hooker (MS, 2012)
  • Zhangxiang Hu (MS, 2015)

Research

My main research focus is on cryptographic protocols for secure computation. These tools allow parties to perform computations on private data, so that they learn the outcome of the computation but nothing else. I am interested in both theoretical and practical aspects of secure computation techniques. My research is supported by the NSF, including an NSF CAREER award, and a Google faculty research award.

Publications

More bibliographic information is also available on my Google scholar page and DBLP page. For most publications I include a link to a free version of the article; however, some papers are behind paywalls. Send me email if you would like a copy of paywalled publications.

Efficient Batched Oblivious PRF with Applications to Private Set Intersection
Vladimir Kolesnikov, Ranjit Kumaresan, Mike Rosulek & Ni Trieu
CCS 2016 article code
Garbling Gadgets for Boolean and Arithmetic Circuits
Marshall Ball, Tal Malkin & Mike Rosulek
CCS 2016 article slides
Linicrypt: A Model for Practical Cryptography
Brent Carmer & Mike Rosulek
CRYPTO 2016 article code
Faster Malicious 2-party Secure Computation with Online/Offline Dual Execution
Peter Rindal & Mike Rosulek
USENIX Security 2016 article code slides
Reconciling Non-malleability with Homomorphic Encryption
Manoj Prabhakaran & Mike Rosulek
Journal of Cryptology 2016 article
Fast and Secure Three-party Computation: The Garbled Circuit Approach
Payman Mohassel, Mike Rosulek & Ye Zhang
CCS 2015 article
Efficient Zero-Knowledge Proofs of Non-Algebraic Statements with Sublinear Amortized Cost
Zhangxiang Hu, Payman Mohassel & Mike Rosulek
CRYPTO 2015 article
Two Halves Make a Whole: Reducing Data Transfer in Garbled Circuits using Half Gates
Samee Zahur, Mike Rosulek & David Evans
Eurocrypt 2015 article
How to Efficiently Evaluate RAM Programs with Malicious Security
Arash Afshar, Zhangxiang Hu, Payman Mohassel & Mike Rosulek
Eurocrypt 2015 article slides
Richer Efficiency/Security Tradeoffs in 2PC
Vladimir Kolesnikov, Payman Mohassel, Ben Riva & Mike Rosulek
TCC 2015 article slides
FleXOR: Flexible garbling for XOR gates that beats free-XOR
Vladimir Kolesnikov, Payman Mohassel & Mike Rosulek
CRYPTO 2014 article slides video
Multi-Party Computation for Polynomials and Branching Programs without Simultaneous Interaction
Dov Gordon, Tal Malkin, Mike Rosulek & Hoeteck Wee
Eurocrypt 2013 article
Characterizing the Cryptographic Properties of Reactive 2-Party Functionalities
R. Amzi Jeffs & Mike Rosulek
TCC 2013 article
A Unified Characterization of Completeness and Triviality for Secure Function Evaluation
Hemanta Maji, Manoj Prabhakaran & Mike Rosulek
Indocrypt 2012 article
Must you know the code of f  to securely compute f?
Mike Rosulek
CRYPTO 2012 article slides video
Universal Composability from Essentially Any Trusted Setup
Mike Rosulek
CRYPTO 2012 article slides video
Complexity of Multi-Party Computation Functionalities
Hemanta Maji, Manoj Prabhakaran & Mike Rosulek
Book chapter article
Exploring the Limits of Common Coins Using Frontier Analysis of Protocols
Hemanta Maji, Pichayoot Ouppaphan, Manoj Prabhakaran & Mike Rosulek
TCC 2011 article
Attribute-Based Signatures
Hemanta Maji, Manoj Prabhakaran & Mike Rosulek
CT-RSA 2011 article
A Zero-One Law for Cryptographic Complexity with Respect to Computational UC Security
Hemanta Maji, Manoj Prabhakaran & Mike Rosulek
CRYPTO 2010 article
Cryptographic Complexity Classes and Computational Intractability Assumptions
Hemanta Maji, Manoj Prabhakaran & Mike Rosulek
ICS 2010 article
Complexity of Multiparty Computation Problems: The Case of 2-Party Symmetric Secure Function Evaluation
Hemanta Maji, Manoj Prabhakaran & Mike Rosulek
TCC 2009 article
Towards Robust Computation on Encrypted Data
Manoj Prabhakaran & Mike Rosulek
Asiacrypt 2008 article slides
Cryptographic Complexity of Multi-party Computation Problems: Classifications and Separations
Manoj Prabhakaran & Mike Rosulek
CRYPTO 2008 article slides
Homomorphic Encryption with CCA Security
Manoj Prabhakaran & Mike Rosulek
ICALP 2008 article slides
Harvesting Credentials in Trust Negotiation as an Honest-But-Curious Adversary
Lars Olson, Mike Rosulek & Marianne Winslett
WPES 2007 article
Rerandomizable RCCA Encryption
Manoj Prabhakaran & Mike Rosulek
CRYPTO 2007 article slides

Unpublished manuscripts & other writings

Improved Private Set Intersection against Malicious Adversaries
Peter Rindal & Mike Rosulek
Manuscript 2016 article
Secure Data Exchange: A Marketplace in the Cloud
Ran Gilad-Bachrach, Kim Laine, Kristin Lauter, Peter Rindal & Mike Rosulek
Manuscript 2016 article
Secure Your Data and Compute on It, Too
Mike Rosulek
XRDS: Crossroads, the ACM Magazine for Students, 2015 article
Correspondences regarding cryptography between John Nash and the NSA
John Nash
Transcribed & typeset by Mike Rosulek pdf originals
The Structure of Secure Multi-Party Computation
Mike Rosulek
University of Illinois PhD dissertation, 2009 pdf

Selected talks

Towards Optimal Garbled Circuit Constructions
Allerton Conference, October 2015 slides
A Brief History of Practical Garbled Circuit Optimizations
Simons Institute workshop on Securing Computation, June 2015 slides video
Zero-Knowledge Proofs, with Applications to Sudoku and Where's Waldo
Educational talk, University of Montana, December 2008 slides

Other Things

Projects

An Annotated Bibliography of Practical Secure Computation
A reference for researchers in secure computationwebsite
Vamonos
A browser-based platform for algorithm visualizationwebsite

Professional Service

I have served on the following program committees:

CRYPTO 2016, PETS 2015, ACNS 2015, Eurocrypt 2014, TCC 2014, TCC 2012, PKC 2011

I serve as communications secretary for the International Association for Cryptologic Research.

Miscellany

I have a personal website (never updated), a Flickr page, a Github page, and one Youtube video.

The navigation elements on this page were inspired by and adapted from this codepen by Alejandro Montañez.