Research Overview

Here, you will find my research grouped by topic, with an overview and related papers for each area.

Current focus

Quantum Cryptography

How does quantum information change the foundations of cryptography? My research explores weaker assumptions and new security guarantees, from certified deletion to verification and secure computation.

Foundations and assumptions
Building cryptography from quantum one-wayness and quantum advantage, and understanding its limits.
Certified deletion and unclonability
Guarantees that information has been deleted, and proofs that cannot be copied.
Verification and certified randomness
Checking quantum behavior with classical verification, while preserving witnesses or certifying randomness.
Secure quantum computation
Computing on private inputs with weaker assumptions and less interaction.

Cryptographic Proofs

Zero-knowledge and succinct proofs: what assumptions they need, how weak guarantees can be strengthened, and how to verify computation efficiently.

Zero-knowledge and its foundations
Understanding non-trivial zero-knowledge, one-way functions, and amplification of weak guarantees.
Succinct proofs and delegation
Checking long computations with short proofs and less work for the verifier.

Earlier research

Non-Malleable Cryptography
Preventing related attacks on commitments, with little or no interaction.
Round-Efficient Secure Computation
Minimizing communication in secure computation against malicious participants.
Information-Theoretic Cryptography
The possibilities and limits of statistical security, including secure computation and privacy.
Program Obfuscation
Using obfuscation to build a specific type of functional encryption, universal sampling, and key exchange.

Research Visits

Visiting Scientist at the Simons Institute for the Theory of Computing:

Summer 2025: Cryptography 10 Years Later: Obfuscation, Proof Systems, and Secure Computation
Summer 2022: Summer Cluster: Lattices and Beyond
Summer 2021: Summer Cluster in Quantum Computation

Previously, Google Research Fellow at the Simons Institute for Lattices: Algorithms, Complexity, and Cryptography, Spring 2020.