I am interested in Cryptography and its interplay with Complexity Theory, with a focus on designing cryptographic protocols that are tailored for modern computing systems. Specifically, I am interested in:

• Zero-Knowledge proof systems (especially in the context of probabilistically checkable proofs).
• Oblivious RAM and Private Information Retrieval.
• Leakage-Resilience.

I am looking for talented and motivated students - if you are interested in Cryptography and Complexity Theory, send me an email.