Follow
Dominique Unruh
Title
Cited by
Cited by
Year
Non-interactive zero-knowledge proofs in the quantum random oracle model
D Unruh
Advances in Cryptology-EUROCRYPT 2015: 34th Annual International Conference …, 2015
2402015
Zero-knowledge in the applied pi-calculus and automated verification of the direct anonymous attestation protocol
M Backes, M Maffei, D Unruh
2008 IEEE Symposium on Security and Privacy (sp 2008), 202-215, 2008
2072008
Revocable quantum timed-release encryption
D Unruh
Journal of the ACM (JACM) 62 (6), 1-76, 2015
2062015
Quantum attacks on classical proof systems: The hardness of quantum rewinding
A Ambainis, A Rosmanis, D Unruh
2014 IEEE 55th Annual Symposium on Foundations of Computer Science, 474-483, 2014
1982014
Post-quantum security of the Fujisaki-Okamoto and OAEP transforms
EE Targhi, D Unruh
Theory of Cryptography: 14th International Conference, TCC 2016-B, Beijing …, 2016
1942016
Quantum proofs of knowledge
D Unruh
Annual international conference on the theory and applications of …, 2012
1942012
Universally composable quantum multi-party computation
D Unruh
Annual International Conference on the Theory and Applications of …, 2010
1802010
Compromising reflections-or-how to read LCD monitors around the corner
M Backes, M Dürmuth, D Unruh
2008 IEEE Symposium on Security and Privacy (sp 2008), 158-169, 2008
1792008
Computationally binding quantum commitments
D Unruh
Advances in Cryptology–EUROCRYPT 2016: 35th Annual International Conference …, 2016
1702016
Quantum security proofs using semi-classical oracles
A Ambainis, M Hamburg, D Unruh
Advances in Cryptology–CRYPTO 2019: 39th Annual International Cryptology …, 2019
1572019
Random oracles and auxiliary input
D Unruh
Advances in Cryptology-CRYPTO 2007: 27th Annual International Cryptology …, 2007
1232007
Post-quantum security of Fiat-Shamir
D Unruh
Advances in Cryptology–ASIACRYPT 2017: 23rd International Conference on the …, 2017
1222017
Quantum position verification in the random oracle model
D Unruh
Advances in Cryptology–CRYPTO 2014: 34th Annual Cryptology Conference, Santa …, 2014
1102014
Quantum relational Hoare logic
D Unruh
Proceedings of the ACM on Programming Languages 3 (POPL), 1-31, 2019
832019
Computationally sound verification of source code
M Backes, M Maffei, D Unruh
Proceedings of the 17th ACM conference on Computer and communications …, 2010
832010
Generic authenticated key exchange in the quantum random oracle model
K Hövelmanns, E Kiltz, S Schäge, D Unruh
IACR international conference on public-key cryptography, 389-422, 2020
822020
Post-quantum security of the CBC, CFB, OFB, CTR, and XTS modes of operation
MV Anand, EE Targhi, GN Tabia, D Unruh
Post-Quantum Cryptography: 7th International Workshop, PQCrypto 2016 …, 2016
812016
CoSP: A general framework for computational soundness proofs
M Backes, D Hofheinz, D Unruh
Proceedings of the 16th ACM conference on Computer and communications …, 2009
792009
Towards key-dependent message security in the standard model
D Hofheinz, D Unruh
Advances in Cryptology–EUROCRYPT 2008: 27th Annual International Conference …, 2008
762008
Security of blind signatures revisited
D Schröder, D Unruh
International Workshop on Public Key Cryptography, 662-679, 2012
75*2012
The system can't perform the operation now. Try again later.
Articles 1–20