research
∙
04/20/2023
Secure Computation with Shared EPR Pairs (Or: How to Teleport in Zero-Knowledge)
Can a sender non-interactively transmit one of two strings to a receiver...
share
research
∙
04/19/2023
Weakening Assumptions for Publicly-Verifiable Deletion
We develop a simple compiler that generically adds publicly-verifiable d...
research
∙
03/15/2023
Publicly-Verifiable Deletion via Target-Collapsing Functions
We build quantum cryptosystems that support publicly-verifiable deletion...
research
∙
02/22/2023
Obfuscation of Pseudo-Deterministic Quantum Circuits
We show how to obfuscate pseudo-deterministic quantum circuits, assuming...
research
∙
09/09/2022
A New Framework for Quantum Oblivious Transfer
We present a new template for building oblivious transfer from quantum i...
research
∙
07/05/2022
Cryptography with Certified Deletion
We propose a new, unifying framework that yields an array of cryptograph...
research
∙
06/29/2022
Succinct Classical Verification of Quantum Computation
We construct a classically verifiable succinct interactive argument for ...
research
∙
06/11/2021
Indistinguishability Obfuscation of Null Quantum Circuits and Applications
We study the notion of indistinguishability obfuscation for null quantum...
research
∙
11/26/2020
One-Way Functions Imply Secure Computation in a Quantum World
We prove that quantum-hard one-way functions imply simulation-secure qua...
research
∙
11/23/2020
On The Round Complexity of Two-Party Quantum Computation
We investigate the round complexity of maliciously-secure two-party quan...
research
∙
05/23/2020