Folgen
Dominique Unruh
Dominique Unruh
University of Tartu
Bestätigte E-Mail-Adresse bei ut.ee
Titel
Zitiert von
Zitiert von
Jahr
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
2002008
Non-interactive zero-knowledge proofs in the quantum random oracle model
D Unruh
Annual International Conference on the Theory and Applications of …, 2015
1702015
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
1612008
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
1522014
Quantum proofs of knowledge
D Unruh
Annual international conference on the theory and applications of …, 2012
1502012
Universally composable quantum multi-party computation
D Unruh
Annual International Conference on the Theory and Applications of …, 2010
1472010
Post-quantum security of the Fujisaki-Okamoto and OAEP transforms
EE Targhi, D Unruh
Theory of Cryptography Conference, 192-216, 2016
1432016
Revocable quantum timed-release encryption
D Unruh
Journal of the ACM (JACM) 62 (6), 1-76, 2015
1352015
Computationally binding quantum commitments
D Unruh
Annual International Conference on the Theory and Applications of …, 2016
982016
Post-quantum security of Fiat-Shamir
D Unruh
International Conference on the Theory and Application of Cryptology and …, 2017
872017
Random oracles and auxiliary input
D Unruh
Annual International Cryptology Conference, 205-223, 2007
822007
Quantum position verification in the random oracle model
D Unruh
Annual Cryptology Conference, 1-18, 2014
812014
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
772009
Quantum security proofs using semi-classical oracles
A Ambainis, M Hamburg, D Unruh
Annual International Cryptology Conference, 269-295, 2019
762019
Computationally sound verification of source code
M Backes, M Maffei, D Unruh
Proceedings of the 17th ACM conference on Computer and communications …, 2010
762010
Towards key-dependent message security in the standard model
D Hofheinz, D Unruh
Annual International Conference on the Theory and Applications of …, 2008
752008
Universally composable zero-knowledge arguments and commitments from signature cards
D Hofheinz, J Müller-Quade, D Unruh
5th Central European Conference on Cryptology, 2005
662005
Security of blind signatures revisited
D Schröder, D Unruh
International Workshop on Public Key Cryptography, 662-679, 2012
62*2012
CSAR: A Practical and Provable Technique to Make Randomized Systems Accountable
M Backes, P Druschel, A Haeberlen, D Unruh
NDSS 2009, 341-353, 2009
622009
Computational soundness of symbolic zero-knowledge proofs against active attackers
M Backes, D Unruh
2008 21st IEEE Computer Security Foundations Symposium, 255-269, 2008
622008
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20