Recent Publications

(2018). Quantum proof systems for iterated exponential time, and beyond. Submitted.

Preprint

(2018). Approximate low-weight check codes and circuit lower bounds for noisy ground states. ICALP 2018, TQC 2018.

Preprint

(2018). Noise-tolerant testing of high entanglement of formation. ICALP 2018.

Preprint

(2017). New security notions and feasibility results for authentication of quantum data . CRYPTO 2017, QCrypt 2016.

Preprint

(2017). Anchoring games for parallel repetition. STOC 2017, QIP 2016.

Preprint

For more publications, click here.

Service

Program Committees

Innovations in Theoretical Computer Science (ITCS) 2017
Computational Complexity Conference (CCC) 2018
Theory of Quantum Computing (TQC) 2018

Reviewing

STACS, QIP, STOC, SICOMP, TQC, SODA, Theory of Computing Journal, and the Foundations and Trends in Theoretical Computer Science.