research
∙
02/28/2022
Efficient NIZKs and Signatures from Commit-and-Open Protocols in the QROM
Commit-and-open Sigma-protocols are a popular class of protocols for con...
share
research
∙
05/04/2021
A Guide for New Program Committee Members at Theoretical Computer Science Conferences
In theoretical computer science, conferences play an important role in t...
research
∙
03/26/2021
Limitations on Uncloneable Encryption and Simultaneous One-Way-to-Hiding
We study uncloneable quantum encryption schemes for classical messages a...
research
∙
03/04/2021
Online-Extractability in the Quantum Random-Oracle Model
We show the following generic result. Whenever a quantum query algorithm...
research
∙
05/13/2020
Impossibility of Quantum Virtual Black-Box Obfuscation of Classical Circuits
Virtual black-box obfuscation is a strong cryptographic primitive: it en...
research
∙
09/30/2019
Secure Multi-party Quantum Computation with a Dishonest Majority
The cryptographic task of secure multi-party (classical) computation has...
research
∙
05/14/2019
Non-malleability for quantum public-key encryption
Non-malleability is an important security property for public-key encryp...
research
∙
04/25/2019
Quantum Lazy Sampling and Game-Playing Proofs for Quantum Indifferentiability
Game-playing proofs constitute a powerful framework for classical crypto...
research
∙
02/20/2019