Personensuche
X
?
Proceedings of the 56th Annual ACM Symposium on Theory of Computing ,
1
A One-Query Lower Bound for Unitary Synthesis and Breaking ..:
, In:
?
Proceedings of the 56th Annual ACM Symposium on Theory of Computing ,
2
SNARGs under LWE via Propositional Proofs:
, In:
?
Proceedings of the 55th Annual ACM Symposium on Theory of Computing ,
3
Quantum Advantage from Any Non-local Game:
, In:
?
Advances in Cryptology – EUROCRYPT 2023; Lecture Notes in Computer Science ,
4
SNARGs and PPAD Hardness from the Decisional Diffie-Hellman..:
, In:
?
Proceedings of the 55th Annual ACM Symposium on Theory of Computing ,
5
Boosting Batch Arguments and RAM Delegation:
, In:
?
Advances in Cryptology – CRYPTO 2023; Lecture Notes in Computer Science ,
6
SNARGs for Monotone Policy Batch NP:
, In:
?
Theory of Cryptography; Lecture Notes in Computer Science ,
7
Post-quantum Insecurity from LWE:
, In:
?
Advances in Cryptology – CRYPTO 2022; Lecture Notes in Computer Science ,
8
Succinct Classical Verification of Quantum Computation:
, In:
?
Theory of Cryptography; Lecture Notes in Computer Science ,
9
PPAD is as Hard as LWE and Iterated Squaring:
, In:
?
2022 IEEE 63rd Annual Symposium on Foundations of Computer Science (FOCS) ,
10
Post-Quantum Zero Knowledge, Revisited or: How to Do Quantu..:
, In:
?
Advances in Cryptology – CRYPTO 2021; Lecture Notes in Computer Science ,
11
Does Fiat-Shamir Require a Cryptographic Hash Function?:
, In:
?
Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing ,
12
Fiat–Shamir via list-recoverable codes (or: parallel repeti..:
, In:
?
Advances in Cryptology – CRYPTO 2020; Lecture Notes in Computer Science ,
13
Fiat-Shamir for Repeated Squaring with Applications to PPAD..:
, In:
?
Advances in Cryptology – EUROCRYPT 2020; Lecture Notes in Computer Science ,
14
Statistical ZAPR Arguments from Bilinear Maps:
, In:
?
Advances in Cryptology – CRYPTO 2019; Lecture Notes in Computer Science ,
15