mike rosulek



Publications

Efficient Zero-Knowledge Proofs of Non-Algebraic Statements with Sublinear Amortized Cost

Advances in Cryptology--CRYPTO 2015 • Aug 16 2015

How to Efficiently Evaluate RAM Programs with Malicious Security

EUROCRYPT 2015 • May 1 2015

Richer Efficiency/Security Trade-offs in 2PC.

TCC 2015 • Mar 1 2015

FleXOR: Flexible garbling for XOR gates that beats free-XOR

Advances in Cryptology--CRYPTO 2014 • Aug 1 2014

Browse Publications