We study the complexity of lattice problems in a world where algorithms,...
We propose to study equivalence relations between phenomena in high-ener...
In the classical model of computation, it is well established that one-w...
Is it possible to convert classical cryptographic reductions into
post-q...
We consider the problem of subgroup testing for a quantum circuit
C: giv...
In this work, we show the first worst-case to average-case reduction for...
We present a garbling scheme for quantum circuits, thus achieving a
deco...
Virtual black-box obfuscation is a strong cryptographic primitive: it
en...
A proof of quantumness is a method for provably demonstrating (to a clas...
Efficiently sampling a quantum state that is hard to distinguish from a ...
We prove a quantum information-theoretic conjecture due to Ji, Liu and S...
We give a protocol for producing certifiable randomness from a single
un...
The hardness of the learning with errors (LWE) problem is one of the mos...