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.