RESEARCH
The foundations of security.
The possibilities of quantum.
I study cryptography in a world with quantum computers: what remains secure, what becomes possible, and how to prove the difference.
01 /
Quantum cryptography
Security definitions, proof techniques, and the power of quantum adversaries.
02 /
Symmetric cryptography
Block ciphers, hash functions, and constructions with provable post-quantum security.
03 /
Quantum information
Quantum algorithms and the information-theoretic foundations of security and privacy.
PUBLICATIONS
Selected publications
Selected recent and foundational work.
More papers are available on arXiv.
2026
On The Simplest Quantum-Secure Block Cipher
Quantum security of the two-round Even–Mansour construction.
2026
Post-Quantum Security of Block Cipher Constructions
Security foundations for symmetric cryptographic constructions in the presence of quantum adversaries.
2026
The Best of Both KEMs: Securely Combining KEMs in Post-Quantum Hybrid Schemes
Efficient hybrid KEM combiners that preserve security when at least one component remains secure.
2025
The Sponge is Quantum Indifferentiable
Quantum indifferentiability of the sponge construction underlying SHA-3.
2022
Post-Quantum Security of the Even-Mansour Cipher
Post-quantum security of Even–Mansour with classical access to the keyed cipher and quantum access to the underlying permutation.
The proof framework developed here has since been used to establish post-quantum security for a wide range of symmetric-key constructions used in deployed systems.
2021
Impossibility of Quantum Virtual Black-Box Obfuscation of Classical Circuits
Shows that quantum states cannot, in general, provide virtual black-box obfuscation of classical circuits, assuming quantum-hard learning with errors.
2020
Non-interactive classical verification of quantum computation
Classical, non-interactive verification of quantum computations and zero-knowledge arguments for QMA under quantum-secure cryptographic assumptions.