research
∙
07/06/2023
Quantum Complexity for Discrete Logarithms and Related Problems
This paper studies the quantum computational complexity of the discrete ...
share
research
∙
04/14/2023
Publicly Verifiable Deletion from Minimal Assumptions
We present a general compiler to add the publicly verifiable deletion pr...
research
∙
04/04/2023
Quantum Public-Key Encryption with Tamper-Resilient Public Keys from One-Way Functions
We construct quantum public-key encryption from one-way functions. In ou...
research
∙
03/08/2023
Classical vs Quantum Advice and Proofs under Classically-Accessible Oracle
It is a long-standing open question to construct a classical oracle rela...
research
∙
02/22/2023
Public Key Encryption with Secure Key Leasing
We introduce the notion of public key encryption with secure key leasing...
research
∙
02/22/2023
Obfuscation of Pseudo-Deterministic Quantum Circuits
We show how to obfuscate pseudo-deterministic quantum circuits, assuming...
research
∙
02/20/2023
Certified Everlasting Secure Collusion-Resistant Functional Encryption, and More
We study certified everlasting secure functional encryption (FE) and man...
research
∙
02/09/2023
Quantum Advantage from One-Way Functions
We demonstrate quantum advantage with several basic assumptions, specifi...
research
∙
10/12/2022
From the Hardness of Detecting Superpositions to Cryptography: Quantum Public Key Encryption and Commitments
Recently, Aaronson et al. (arXiv:2009.07450) showed that detecting inter...
research
∙
10/07/2022
One-Wayness in Quantum Cryptography
The existence of one-way functions is one of the most fundamental assump...
research
∙
08/26/2022
Proofs of Quantumness from Trapdoor Permutations
Assume that Alice can do only classical probabilistic polynomial-time co...
research
∙
07/28/2022
Certified Everlasting Functional Encryption
Computational security in cryptography has a risk that computational ass...
research
∙
07/12/2022
A New Approach to Post-Quantum Non-Malleability
We provide the first 𝑐𝑜𝑛𝑠𝑡𝑎𝑛𝑡-𝑟𝑜𝑢𝑛𝑑 construction of post-quantum non-mal...
research
∙
04/05/2022
Verifiable Quantum Advantage without Structure
We show the following hold, unconditionally unless otherwise stated, rel...
research
∙
12/13/2021
Quantum commitments and signatures without one-way functions
In the classical world, the existence of commitments is equivalent to th...
research
∙
11/16/2021
Post-Quantum Simulatable Extraction with Minimal Assumptions: Black-Box and Constant-Round
From the minimal assumption of post-quantum semi-honest oblivious transf...
research
∙
09/29/2021
Certified Everlasting Zero-Knowledge Proof for QMA
In known constructions of classical zero-knowledge protocols for NP, eit...
research
∙
05/12/2021
Quantum Encryption with Certified Deletion, Revisited: Public Key, Attribute-Based, and Classical Communication
Broadbent and Islam (TCC '20) proposed a quantum cryptographic primitive...
research
∙
03/20/2021
On the Impossibility of Post-Quantum Black-Box Zero-Knowledge in Constant Rounds
We investigate the existence of constant-round post-quantum black-box ze...
research
∙
02/18/2021
Classically Verifiable (Dual-Mode) NIZK for QMA with Preprocessing
We propose three constructions of classically verifiable non-interactive...
research
∙
11/05/2020
A Black-Box Approach to Post-Quantum Zero-Knowledge in Constant Rounds
In a recent seminal work, Bitansky and Shmueli (STOC '20) gave the first...
research
∙
10/21/2020
Secure Software Leasing from Standard Assumptions
Secure software leasing (SSL) is a quantum cryptographic primitive that ...
research
∙
12/02/2019