@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},
  note         = {To appear, preprint on IACR ePrint 2010/416}
}

@inproceedings{unruh09ucc,
  author       = {Unruh, Dominique and M\"{u}ller-Quade, J\"{o}rn},
  title        = {Universally Composable Incoercibility},
  booktitle    = {Crypto 2010},
  series       = {LNCS},
  month        = {August},
  year         = {2010},
  publisher    = {Springer},
  note         = {To appear, 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]}
}

@misc{bqsm-uc,
  author       = {Unruh, Dominique},
  title        = {Concurrent composition in the bounded quantum storage model},
  month        = {April},
  year         = {2010},
  note         = {Preprint on IACR ePrint 2010/229}
}

@misc{qpok,
  author       = {Unruh, Dominique},
  title        = {Quantum Proofs of Knowledge},
  month        = {April},
  year         = {2010},
  note         = {Preprint on IACR ePrint 2010/212}
}

@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}
}

@inproceedings{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{backes10computational,
  author       = {Backes, Michael and Unruh, Dominique},
  title        = {Computational Soundness of Symbolic Zero-Knowledge Proofs},
  journal      = {Journal of Computer Security},
  year         = {2010},
  note         = {Preprint on IACR ePrint 2008/152, to appear}
}

@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},
  year         = {2011},
  publisher    = {Springer-Verlag},
  note         = {To appear, 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}
}

@misc{hofheinz09polynomial,
  author       = {Hofheinz, Dennis and Unruh, Dominique and M\"{u}ller-Quade, J\"{o}rn},
  title        = {Polynomial Runtime and Composability},
  month        = {October},
  year         = {2009},
  note         = {Preprint on IACR ePrint 2009/023}
}

@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},
  month        = {December},
  year         = {2008},
  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 cryptoraphic 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}
}