research
∙
06/29/2022
Succinct Classical Verification of Quantum Computation
We construct a classically verifiable succinct interactive argument for ...
share
research
∙
03/04/2022
Constructive Post-Quantum Reductions
Is it possible to convert classical cryptographic reductions into post-q...
research
∙
11/07/2021
Interactive Error Correcting Codes Over Binary Erasure Channels Resilient to >1/2 Adversarial Corruption
An error correcting code (𝖤𝖢𝖢) allows a sender to send a message to a re...
research
∙
07/10/2020