6 papers
Classical Obfuscation of Quantum Circuits via Publicly-Verifiable QFHE
James Bartusek, Aparna Gupte, Saachi Mutreja +1
A classical obfuscator for quantum circuits is a classical program that, given the classical description of a quantum circuit , outputs the classical description of a functional…
Covert Quantum Learning: Privately and Verifiably Learning from Quantum Data
Abhishek Anand, Matthias C. Caro, Ari Karchmer +1
Quantum learning from remotely accessed quantum compute and data must address two key challenges: verifying the correctness of data and ensuring the privacy of the learner's data-c…
CountCrypt: Quantum Cryptography between QCMA and PP
Eli Goldin, Tomoyuki Morimae, Saachi Mutreja +1
We construct a unitary oracle relative to which but quantum-computation-classical-communication (QCCC) commitments and QCCC multiparty non-interactive…
Revocable Encryption, Programs, and More: The Case of Multi-Copy Security
Prabhanjan Ananth, Saachi Mutreja, Alexander Poremba
Fundamental principles of quantum mechanics have inspired many new research directions, particularly in quantum cryptography. One such principle is quantum no-cloning which has led…
QMA vs. QCMA and Pseudorandomness
Jiahui Liu, Saachi Mutreja, Henry Yuen
We study a longstanding question of Aaronson and Kuperberg on whether there exists a classical oracle separating from . Settling this question in eith…
Quantum State Group Actions
Saachi Mutreja, Mark Zhandry
Cryptographic group actions are a leading contender for post-quantum cryptography, and have also been used in the development of quantum cryptographic protocols. In this work, we e…