Non-interactive zero-knowledge proofs in the quantum random oracle model D Unruh Advances in Cryptology-EUROCRYPT 2015: 34th Annual International Conference …, 2015 | 231 | 2015 |
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 | 205 | 2008 |
Revocable quantum timed-release encryption D Unruh Journal of the ACM (JACM) 62 (6), 1-76, 2015 | 196 | 2015 |
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 | 192 | 2014 |
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 | 186 | 2016 |
Quantum proofs of knowledge D Unruh Annual international conference on the theory and applications of …, 2012 | 184 | 2012 |
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 | 175 | 2008 |
Universally composable quantum multi-party computation D Unruh Annual International Conference on the Theory and Applications of …, 2010 | 174 | 2010 |
Computationally binding quantum commitments D Unruh Advances in Cryptology–EUROCRYPT 2016: 35th Annual International Conference …, 2016 | 153 | 2016 |
Quantum security proofs using semi-classical oracles A Ambainis, M Hamburg, D Unruh Advances in Cryptology–CRYPTO 2019: 39th Annual International Cryptology …, 2019 | 144 | 2019 |
Random oracles and auxiliary input D Unruh Advances in Cryptology-CRYPTO 2007: 27th Annual International Cryptology …, 2007 | 114 | 2007 |
Post-quantum security of Fiat-Shamir D Unruh Advances in Cryptology–ASIACRYPT 2017: 23rd International Conference on the …, 2017 | 109 | 2017 |
Quantum position verification in the random oracle model D Unruh Advances in Cryptology–CRYPTO 2014: 34th Annual Cryptology Conference, Santa …, 2014 | 101 | 2014 |
Computationally sound verification of source code M Backes, M Maffei, D Unruh Proceedings of the 17th ACM conference on Computer and communications …, 2010 | 83 | 2010 |
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 | 79 | 2009 |
Quantum relational Hoare logic D Unruh Proceedings of the ACM on Programming Languages 3 (POPL), 1-31, 2019 | 78 | 2019 |
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 | 77 | 2020 |
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 | 76 | 2016 |
Towards key-dependent message security in the standard model D Hofheinz, D Unruh Advances in Cryptology–EUROCRYPT 2008: 27th Annual International Conference …, 2008 | 76 | 2008 |
Security of blind signatures revisited D Schröder, D Unruh International Workshop on Public Key Cryptography, 662-679, 2012 | 75* | 2012 |