@inproceedings{collapse, author = {Unruh, Dominique}, title = {Computationally binding quantum commitments}, booktitle = {Eurocrypt 2016}, series = {LNCS}, year = {2015}, note = {To appear, preprint on IACR ePrint 2015/361} } @inproceedings{collision, author = {Targhi, Ehsan Ebrahimi and Tabia, Gelo Noel and Unruh, Dominique}, title = {Quantum Collision-Resistance of Non-Uniformly Distributed Functions}, booktitle = {PQCrypto 2016}, series = {LNCS}, volume = {9606}, pages = {79-85}, note = {Preprint on IACR ePrint 2016/015} } @inproceedings{qcbc, author = {Anand, Mayuresh Vivekanand and Targhi, Ehsan Ebrahimi and Tabia, Gelo Noel and Unruh, Dominique}, title = {Post-Quantum Security of the CBC, CFB, OFB, CTR, and XTS Modes of Operation}, booktitle = {PQCrypto 2016}, series = {LNCS}, volume = {9606}, pages = {44-63}, note = {Preprint on IACR ePrint 2016/197} } @misc{fujioka, author = {Targhi, Ehsan Ebrahimi and Unruh, Dominique}, title = {Quantum Security of the Fujisaki-Okamoto and OAEP Transforms}, year = {2015}, note = {Preprint on IACR ePrint 2015/1210} } @article{qtc-jacm, author = {Unruh, Dominique}, title = {Revocable quantum timed-release encryption}, journal = {Journal of the ACM}, volume = {62}, number = {6}, year = {2015}, publisher = {ACM}, pages = {49:1-76}, note = {Preprint on IACR ePrint 2013/606} } @misc{qcollision-qcrypt, author = {Targhi, Ehsan Ebrahimi and Tabia, Gelo Noel and Unruh, Dominique}, title = {Quantum collision-resistance of non-uniformly distributed functions}, month = {September}, year = {2015}, note = {Poster at QCrypt 2015} } @misc{qfo-qcrypt, author = {Targhi, Ehsan Ebrahimi and Unruh, Dominique}, title = {Quantum security of the Fujisaki-Okamoto transform}, month = {September}, year = {2015}, note = {Poster at QCrypt 2015} } @misc{qro-nizk-qcrypt, author = {Unruh, Dominique}, title = {Non-interactive zero-knowledge proofs in the quantum random oracle model}, month = {September}, year = {2015}, note = {Talk at QCrypt 2015. Regular paper: \cite{qro-nizk}} } @misc{collapse-qcrypt, author = {Unruh, Dominique}, title = {Computationally binding quantum commitments}, month = {September}, year = {2015}, note = {Talk at QCrypt 2015. Regular paper: \cite{collapse}} } @article{synergy, author = {Barthe, Gilles and Hicks, Michael and Kerschbaum, Florian and Unruh, Dominique}, title = {The Synergy Between Programming Languages and Cryptography (Dagstuhl Seminar 14492)}, journal = {Dagstuhl Reports}, volume = {4}, number = {12}, year = {2015}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}, pages = {29-47} } @inproceedings{qro-nizk, author = {Unruh, Dominique}, title = {Non-interactive zero-knowledge proofs in the quantum random oracle model}, booktitle = {Eurocrypt 2015}, volume = {9057}, year = {2015}, publisher = {Springer}, pages = {755-784}, note = {Preprint on IACR ePrint 2014/587} } @article{symbolic-uc-jcs, author = {B\"{o}hl, Florian and Unruh, Dominique}, title = {Symbolic Universal Composability}, journal = {J Computer Security}, year = {2015}, note = {to appear, preprint on IACR ePrint 2013/062} } @inproceedings{qpok-imposs, author = {Ambainis, Andris and Rosmanis, Ansis and Unruh, Dominique}, title = {Quantum Attacks on Classical Proof Systems (The Hardness of Quantum Rewinding)}, booktitle = {FOCS 2014}, month = {October}, year = {2014}, publisher = {IEEE}, pages = {474-483}, note = {Preprint on IACR ePrint 2014/296} } @misc{adaptive-money, author = {Brodutch, Aharon and Nagaj, Daniel and Sattath, Or and Unruh, Dominique}, title = {An adaptive attack on Wiesner's quantum money}, year = {2014}, note = {Preprint on arXiv:1404.1507 [quant-ph]} } @misc{qpok-imposs-qcrypt, author = {Ambainis, Andris and Rosmanis, Ansis and Unruh, Dominique}, title = {Quantum Attacks on Classical Proof Systems - The Hardness of Quantum Rewinding}, month = {September}, year = {2014}, note = {Talk at QCrypt 2014. Regular paper: \cite{qpok-imposs}} } @misc{qpos-qcrypt, author = {Unruh, Dominique}, title = {Quantum position verification in the random oracle model}, month = {September}, year = {2014}, note = {Talk at QCrypt 2014. Regular paper: \cite{qpos}} } @inproceedings{qpos, author = {Unruh, Dominique}, title = {Quantum position verification in the random oracle model}, booktitle = {Crypto 2014}, series = {LNCS}, volume = {8617}, month = {August}, year = {2014}, publisher = {Springer}, pages = {1-18}, note = {Preprint on IACR ePrint 2014/118} } @misc{qpok-simons, author = {Unruh, Dominique}, title = {Quantum proofs of knowledge}, howpublished = {Talk at "Quantum Games and Protocols" (Simons Institute, Berkeley)}, month = {February}, year = {2014} } @inproceedings{qtc, author = {Unruh, Dominique}, title = {Revocable quantum timed-release encryption}, booktitle = {Eurocrypt 2014}, series = {LNCS}, volume = {8441}, year = {2014}, publisher = {Springer}, pages = {129-146}, note = {Preprint on IACR ePrint 2013/606} } @inproceedings{qeverlasting, author = {Unruh, Dominique}, title = {Everlasting Multi-Party Computation}, booktitle = {Crypto 2013}, series = {LNCS}, volume = {8043}, year = {2013}, publisher = {Springer}, pages = {380-397}, note = {Preprint on IACR ePrint 2012/177} } @inproceedings{symbolic-uc, author = {B\"{o}hl, Florian and Unruh, Dominique}, title = {Symbolic Universal Composability}, booktitle = {CSF 2013}, year = {2013}, publisher = {IEEE}, pages = {257-271}, note = {Preprint on IACR ePrint 2013/062} } @article{probtm, author = {Klingler, Lee and Steinwandt, Rainer and Unruh, Dominique}, title = {On using probabilistic Turing machines to model participants in cryptographic protocols}, journal = {Theoretical Computer Science}, volume = {501}, year = {2013}, publisher = {Elsevier}, pages = {49-51} } @misc{qrewinding, author = {Unruh, Dominique}, title = {Quantum rewinding and other troubles}, howpublished = {Talk at Quantum and Crypto Day 2013, Riga}, month = {April}, year = {2013} } @inproceedings{zk-cosp, author = {Backes, Michael and Bendun, Fabian and Unruh, Dominique}, title = {Computational Soundness of Symbolic Zero-Knowledge Proofs: Weaker Assumptions and Mechanized Verification}, booktitle = {POST 2013}, series = {LNCS}, volume = {7796}, year = {2013}, publisher = {Springer}, pages = {206-225}, note = {Preprint on IACR ePrint 2012/081} } @inproceedings{unrestr-soundness, author = {Backes, Michael and Malik, Ankit and Unruh, Dominique}, title = {Computational Soundness without Protocol Restrictions}, booktitle = {ACM CCS 2012}, month = {October}, year = {2012}, publisher = {ACM Press}, pages = {699-711}, note = {Preprint on IACR ePrint 2012/486} } @misc{progkdm, author = {Unruh, Dominique}, title = {Programmable encryption and key-dependent messages}, year = {2012}, note = {Preprint on IACR ePrint 2012/423} } @article{polytime-uc, author = {Hofheinz, Dennis and Unruh, Dominique and M\"{u}ller-Quade, J\"{o}rn}, title = {Polynomial Runtime and Composability}, journal = {Journal of Cryptology}, month = {October}, year = {2012}, publisher = {Springer-Verlag}, note = {Preprint on IACR ePrint 2009/023} } @inproceedings{bsrevisit, author = {Schr\"{o}der, Dominique and Unruh, Dominique}, title = {Security of Blind Signatures Revisited}, booktitle = {PKC 2012}, series = {LNCS}, volume = {7293}, year = {2012}, pages = {662-679}, note = {Preprint on IACR ePrint 2011/316} } @inproceedings{qpok, author = {Unruh, Dominique}, title = {Quantum Proofs of Knowledge}, booktitle = {Eurocrypt 2012}, series = {LNCS}, volume = {7237}, month = {April}, year = {2012}, publisher = {Springer}, pages = {135-152}, note = {Preprint on IACR ePrint 2010/212} } @misc{qcomposition-qcrypt, author = {Unruh, Dominique}, title = {Composition in Quantum Cryptography}, year = {2011}, note = {Invited talk at QCRYPT 2011, recording available} } @inproceedings{2roundbs, author = {Schr\"{o}der, Dominique and Unruh, Dominique and Garg, Sanjam and Rao, Vanishree and Sahai, Amit}, title = {Round Optimal Blind Signatures}, booktitle = {Crypto 2011}, series = {LNCS}, volume = {6841}, year = {2011}, publisher = {Springer}, pages = {630-648}, note = {Merger of \cite{2roundbs-orig} and "Round Optimal Blind Signatures in the Standard Model" by Sanjam Garg, Vanishree Rao, and Amit Sahai} } @inproceedings{ti-indist, author = {Unruh, Dominique}, title = {Termination-Insensitive Computational Indistinguishability (and applications to computational soundness)}, booktitle = {24th IEEE Computer Security Foundations Symposium, CSF 2011}, month = {June}, year = {2011}, publisher = {IEEE Computer Society}, pages = {251-265}, note = {Preprint on IACR ePrint 2010/505} } @misc{2roundbs-orig, author = {Schr\"{o}der, Dominique and Unruh, Dominique}, title = {Round Optimal Blind Signatures}, year = {2011}, note = {Merged into \cite{2roundbs}, preprint on IACR ePrint 2011/264} } @inproceedings{bqsm-uc, author = {Unruh, Dominique}, title = {Concurrent composition in the bounded quantum storage model}, booktitle = {Eurocrypt 2011}, series = {LNCS}, volume = {6632}, month = {May}, year = {2011}, publisher = {Springer}, pages = {467-486}, note = {Preprint on IACR ePrint 2010/229} } @inproceedings{rcf-soundness, author = {Backes, Michael and Maffei, Matteo and Unruh, Dominique}, title = {Computationally Sound Verification of Source Code}, booktitle = {ACM CCS 2010}, month = {October}, year = {2010}, publisher = {ACM Press}, pages = {387-398}, note = {Preprint on IACR ePrint 2010/416} } @article{zk-soundness, author = {Backes, Michael and Unruh, Dominique}, title = {Computational Soundness of Symbolic Zero-Knowledge Proofs}, journal = {Journal of Computer Security}, volume = {18}, number = {6}, year = {2010}, publisher = {IOS Press}, pages = {1077-1155}, note = {Preprint on IACR ePrint 2008/152} } @inproceedings{unruh09ucc, author = {Unruh, Dominique and M\"{u}ller-Quade, J\"{o}rn}, title = {Universally Composable Incoercibility}, booktitle = {Crypto 2010}, series = {LNCS}, volume = {6223}, month = {August}, year = {2010}, publisher = {Springer}, pages = {411-428}, note = {Preprint on IACR ePrint 2009/520} } @misc{sound-xor, author = {Unruh, Dominique}, title = {The impossibility of computationally sound XOR}, month = {July}, year = {2010}, note = {Preprint on IACR ePrint 2010/389} } @inproceedings{quantum-uc, author = {Unruh, Dominique}, title = {Universally Composable Quantum Multi-Party Computation}, booktitle = {EUROCRYPT 2010}, series = {LNCS}, volume = {6110}, month = {May}, year = {2010}, publisher = {Springer}, pages = {486-505}, note = {Preprint on arXiv:0910.2912 [quant-ph]} } @inproceedings{backes09cosp, author = {Backes, Michael and Hofheinz, Dennis and Unruh, Dominique}, title = {CoSP: A general framework for computational soundness proofs}, booktitle = {ACM CCS 2009}, month = {November}, year = {2009}, pages = {66-78}, note = {Preprint on IACR ePrint 2009/080} } @article{hofheinz09polynomial2, author = {Hofheinz, Dennis and M\"{u}ller-Quade, J\"{o}rn and Unruh, Dominique}, title = {Polynomial Runtime in Simulatability Definitions}, journal = {Journal of Computer Security}, volume = {17}, number = {5}, year = {2009}, publisher = {IOS Press}, pages = {703-735} } @article{longterm-uc, author = {M\"{u}ller-Quade, J\"{o}rn and Unruh, Dominique}, title = {Long-term Security and Universal Composability}, journal = {Journal of Cryptology}, volume = {23}, number = {4}, year = {2010}, publisher = {Springer-Verlag}, pages = {594-671}, note = {Preprint on IACR ePrint 2006/422} } @inproceedings{backes09csar, author = {Backes, Michael and Druschel, Peter and Haeberlen, Andreas and Unruh, Dominique}, title = {CSAR: A practical and provable technique to make randomized systems accountable}, booktitle = {NDSS 2009}, month = {February}, year = {2009}, publisher = {The Internet Society}, pages = {341-353} } @inproceedings{backes08limits, author = {Backes, Michael and Unruh, Dominique}, title = {Limits of Constructive Security Proofs}, booktitle = {ASIACRYPT 2008}, month = {December}, year = {2008}, pages = {290-307} } @inproceedings{backes08oaep, author = {Backes, Michael and D\"{u}rmuth, Markus and Unruh, Dominique}, title = {OAEP is Secure Under Key-dependent Messages}, booktitle = {ASIACRYPT 2008}, series = {LNCS}, volume = {5350}, month = {December}, year = {2008}, publisher = {Springer}, pages = {506-523} } @inproceedings{backes08formal, author = {Backes, Michael and Berg, Matthias and Unruh, Dominique}, title = {A Formal Language for Cryptographic Pseudocode}, booktitle = {LPAR 2008}, month = {November}, year = {2008}, publisher = {Springer}, pages = {353-376} } @inproceedings{backes08computational, author = {Backes, Michael and Unruh, Dominique}, title = {Computational Soundness of Symbolic Zero-Knowledge Proofs Against Active Attackers}, booktitle = {21st IEEE Computer Security Foundations Symposium, CSF 2008}, month = {June}, year = {2008}, pages = {255-269}, note = {Preprint on IACR ePrint 2008/152} } @inproceedings{backes08compromising, author = {Backes, Michael and D\"{u}rmuth, Markus and Unruh, Dominique}, title = {Compromising Reflections or How to Read LCD Monitors Around the Corner}, booktitle = {IEEE Symposium on Security and Privacy, Proceedings of SSP'08}, month = {July}, year = {2008}, pages = {158-169} } @inproceedings{backes08zero, author = {Backes, Michael and Maffei, Matteo and Unruh, Dominique}, title = {Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol}, booktitle = {IEEE Symposium on Security and Privacy, Proceedings of SSP'08}, month = {May}, year = {2008}, pages = {202-215}, note = {Preprint on IACR ePrint 2007/289} } @journal{backes08gespiegelt, author = {Backes, Michael and D\"{u}rmuth, Markus and Unruh, Dominique}, title = {Gespiegelt / Verr\"{a}terische Reflexionen: Wie Brillengl\"{a}ser Geheimnisse verraten}, journal = {iX Magazin f\"{u}r Professionelle Informationstechnik}, volume = {5}, month = {April}, year = {2008}, publisher = {Heise Verlag, Hannover}, pages = {115-117}, note = {In German} } @inproceedings{hofheinz08towards, author = {Hofheinz, Dennis and Unruh, Dominique}, title = {Towards Key-Dependent Message Security in the Standard Model}, booktitle = {EUROCRYPT 2008}, series = {Lecture Notes in Computer Science}, volume = {4965}, month = {April}, year = {2008}, publisher = {Springer}, pages = {108-126}, note = {Preprint on IACR ePrint 2007/333} } @inproceedings{hofheinz05polynomial, author = {Hofheinz, Dennis and M\"{u}ller-Quade, J\"{o}rn and Unruh, Dominique}, title = {Polynomial Runtime in Simulatability Definitions}, booktitle = {18th IEEE Computer Security Foundations Workshop, Proceedings of CSFW 2005}, year = {2005}, publisher = {IEEE Computer Society}, pages = {156-169} } @inproceedings{unruh07random, author = {Unruh, Dominique}, title = {Random Oracles and Auxiliary Input}, booktitle = {Proceedings of Crypto 2007}, series = {Lecture Notes in Computer Science}, volume = {4622}, month = {August}, year = {2007}, pages = {205-223}, note = {Preprint on IACR ePrint 2007/168} } @journal{backes07vorgetaeuscht, author = {Backes, Michael and D\"{u}rmuth, Markus and Unruh, Dominique}, title = {Vorget\"{a}uscht / B\"{o}se Textdokumente -- Postscript gone wild}, journal = {iX Magazin f\"{u}r Professionelle Informationstechnik}, number = {9}, month = {September}, year = {2007}, publisher = {Heise Verlag, Hannover}, pages = {136-138}, note = {In German} } @incollection{unruh07thesisdagstuhl, author = {Unruh, Dominique}, title = {Protokollkomposition und Komplexit\"{a}t}, booktitle = {Ausgezeichnete Informatikdissertationen 2006}, series = {Lecture Notes in Informatics (LNI) -- Dissertations}, volume = {D-7}, month = {May}, year = {2007}, publisher = {Gesellschaft f\"{u}r Informatik}, pages = {189-198}, note = {In German} } @misc{backes07security, author = {Backes, Michael and Unruh, Dominique}, title = {On the Security of Protocols with Logarithmic Communication Complexity}, month = {May}, year = {2007}, note = {Preprint on IACR ePrint 2007/169} } @inproceedings{backes07information, author = {Backes, Michael and D\"{u}rmuth, Markus and Unruh, Dominique}, title = {Information Flow in the Peer-Reviewing Process (extended abstract)}, booktitle = {IEEE Symposium on Security and Privacy, Proceedings of SSP'07}, month = {May}, year = {2007}, pages = {187-191} } @article{unruh07quantum, author = {Unruh, Dominique}, title = {Quantum Programs with Classical Output Streams}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {170}, month = {March}, year = {2007}, publisher = {Elsevier Science Publishers}, pages = {165-184}, note = {3rd International Workshop on Quantum Programming Languages (QPL 2005)} } @inproceedings{muellerquade07long, author = {M\"{u}ller-Quade, J\"{o}rn and Unruh, Dominique}, title = {Long-term Security and Universal Composability}, booktitle = {Theory of Cryptography, Proceedings of TCC 2007}, series = {Lecture Notes in Computer Science}, volume = {4392}, month = {March}, year = {2007}, publisher = {Springer-Verlag}, pages = {41-60}, note = {Preprint on IACR ePrint 2006/422, superseeded by \cite{longterm-uc}} } @inproceedings{backes07necessity, author = {Backes, Michael and M\"{u}ller-Quade, J\"{o}rn and Unruh, Dominique}, title = {On the Necessity of Rewinding in Secure Multiparty Computation}, booktitle = {Theory of Cryptography, Proceedings of TCC 2007}, series = {Lecture Notes in Computer Science}, volume = {4392}, month = {March}, year = {2007}, publisher = {Springer-Verlag}, pages = {157-174}, note = {Preprint on IACR ePrint 2006/315} } @phdthesis{unruh07protokollkomposition, author = {Unruh, Dominique}, title = {Protokollkomposition und Komplexit\"{a}t}, school = {Universit\"{a}t Karlsruhe (TH)}, year = {2007}, publisher = {Logos}, note = {In German} } @inproceedings{hofheinz06attack, author = {Hofheinz, Dennis and Unruh, Dominique}, title = {An attack on a group-based cryptographic scheme}, booktitle = {Algebraic Methods in Cryptography}, series = {Contemporary Mathematics}, volume = {418}, year = {2006}, publisher = {AMS}, pages = {133-140} } @article{unruh06quantum, author = {Unruh, Dominique}, title = {Quantum Programming Languages}, journal = {Informatik - Forschung und Entwicklung}, volume = {21}, number = {1}, year = {2006}, publisher = {Springer-Verlag}, pages = {55-63} } @misc{hofheinz06simple, author = {Hofheinz, Dennis and M\"{u}ller-Quade, J\"{o}rn and Unruh, Dominique}, title = {A Simple Model of Polynomial Time UC (abstract)}, howpublished = {Workshop on Models for Cryptographic Protocols (MCP 2006)}, month = {July}, year = {2006} } @misc{muellerquade06composable, author = {M\"{u}ller-Quade, J\"{o}rn and Unruh, Dominique}, title = {Composable Deniability (abstract)}, howpublished = {Workshop on Models for Cryptographic Protocols (MCP 2006)}, month = {July}, year = {2006} } @inproceedings{hofheinz06possibility, author = {Hofheinz, Dennis and M\"{u}ller-Quade, J\"{o}rn and Unruh, Dominique}, title = {On the (Im-)Possibility of Extending Coin Toss}, booktitle = {Advances in Cryptology, Proceedings of EUROCRYPT '06}, series = {Lecture Notes in Computer Science}, volume = {4004}, year = {2006}, publisher = {Springer}, pages = {504-521}, note = {Preprint on IACR ePrint 2006/177} } @inproceedings{hofheinz06simulatable, author = {Hofheinz, Dennis and Unruh, Dominique}, title = {Simulatable Security and Polynomially Bounded Concurrent Composition}, booktitle = {IEEE Symposium on Security and Privacy, Proceedings of SSP '06}, month = {May}, year = {2006}, publisher = {IEEE Computer Society}, pages = {169-182}, note = {Preprint on IACR ePrint 2006/130} } @misc{unruh05relations, author = {Unruh, Dominique}, title = {Relations among Statistical Security Notions - or - Why Exponential Adversaries are Unlimited}, year = {2005}, note = {Preprint on IACR ePrint 2005/406} } @inproceedings{backes05fairness, author = {Backes, Michael and Hofheinz, Dennis and M\"{u}ller-Quade, J\"{o}rn and Unruh, Dominique}, title = {On Fairness in Simulatability-based Cryptographic Systems}, booktitle = {3rd ACM Workshop on Formal Methods in Security Engineering: From Specifications to Code}, month = {September}, year = {2005}, pages = {13-22}, note = {Preprint on IACR ePrint 2005/294} } @inproceedings{hofheinz05notion, author = {Hofheinz, Dennis and Unruh, Dominique}, title = {On the Notion of Statistical Security in Simulatability Definitions}, booktitle = {Information Security, Proceedings of ISC'05}, series = {Lecture Notes in Computer Science}, month = {September}, year = {2005}, publisher = {Springer}, note = {Preprint on IACR ePrint 2005/032} } @article{hofheinz07universally, author = {Hofheinz, Dennis and Unruh, Dominique and M\"{u}ller-Quade, J\"{o}rn}, title = {Universally Composable Zero-Knowledge Arguments and Commitments from Signature Cards}, journal = {Tatra Mt. Math. Pub.}, booktitle = {MORAVIACRYPT '05}, year = {2007}, pages = {93-103} } @misc{muellerquade05oblivious, author = {M\"{u}ller-Quade, J\"{o}rn and R\"{o}hrich, Stefan and Unruh, Dominique}, title = {Oblivious Transfer is Incomplete for Deniable Protocols}, howpublished = {Workshop on The Past, Present and Future of Oblivious Transfer, Haifa}, month = {May}, year = {2005} } @inproceedings{hofheinz05comparing, author = {Hofheinz, Dennis and Unruh, Dominique}, title = {Comparing Two Notions of Simulatability}, booktitle = {Theory of Cryptography, Proceedings of TCC 2005}, series = {Lecture Notes in Computer Science}, month = {February}, year = {2005}, publisher = {Springer-Verlag}, pages = {89-103} } @misc{unruh04simulatable, author = {Unruh, Dominique}, title = {Simulatable security for quantum protocols}, month = {September}, year = {2004}, note = {Preprint on arXiv:quant-ph/0409125} } @misc{unruh04classical, author = {Unruh, Dominique}, title = {Classical Control in Quantum Programs}, howpublished = {5th European QIPC Workshop, Roma}, month = {September}, year = {2004}, note = {Poster} } @mastersthesis{unruh03zufallsextraktoren, author = {Unruh, Dominique}, title = {Zufallsextraktoren f\"{u}r Quellen variierender Qualit\"{a}t}, school = {Institut f\"{u}r Algorithmen und Kognitive Systeme, University of Karlsruhe}, month = {July}, year = {2003}, note = {In German} } @mastersthesis{unruh02formal, author = {Unruh, Dominique}, title = {Formal Security in Quantum Cryptology}, school = {Institut f\"{u}r Algorithmen und Kognitive Systeme, University of Karlsruhe}, month = {December}, year = {2002} }