Publications – Dominique Unruh

2025

• Dominique Unruh. Compressed Oracles. 2025. Archive of Formal Proofs. Formal Isabelle proof development
• Dominique Unruh, José Manuel Rodríguez Caballero. Complex Bounded Operators in Isabelle/HOL. 2025
• Toby Murray, Dominique Unruh (eds.). 2025 IEEE 38th Computer Security Foundations Symposium (CSF). 2025. Proceedings.
• Christina Gehnen, Dominique Unruh, Joost-Pieter Katoen. Bayesian Inference in Quantum Programs. 2025. ICALP 2025. LIPIcs. Pages 157:1-157:18. Volume 334
• Katharina Kreuzer, Dominique Unruh. The Oneway to Hiding Theorem. 2025. Archive of Formal Proofs. Formal Isabelle proof development
• Dominique Unruh. Kraus Maps. 2025. Archive of Formal Proofs. Formal Isabelle proof development
• Katharina Heidler, Dominique Unruh. Formalizing the One-Way to Hiding Theorem. 2025. CPP 2025. Pages 243-256. ACM. [Video]
• José Bacelar Almeida, Denis Firsov, Tiago Oliveira, Dominique Unruh. Leakage-Free Probabilistic Jasmin Programs. 2025. CPP 2025. Pages 3-16

2024

• Dominique Unruh. The Tensor Product on Hilbert Spaces. 2024. Archive of Formal Proofs. Formal Isabelle proof development
• Dominique Unruh. Without Loss of Generality. 2024. Archive of Formal Proofs. Formal Isabelle proof development
• Dominique Unruh. With-Type – Poor man’s dependent types. 2024. Archive of Formal Proofs. Formal Isabelle proof development
• Dominique Unruh. Quantum references. 2024

2023

• Denis Firsov, Dominique Unruh. Zero-Knowledge in EasyCrypt. 2023. CSF 2023. To appear
• José Bacelar Almeida, Denis Firsov, Tiago Oliveira, Dominique Unruh. Schnorr protocol in Jasmin. 2023
• Dominique Unruh. Towards compressed permutation oracles. 2023. Asiacrypt 2023. LNCS. Volume 14441. Springer. [Video | Slides]
• Julien Duman, Kathrin Hövelmanns, Eike Kiltz, Vadim Lyubashevsky, Gregor Seiler, Dominique Unruh. A Thorough Treatment of Highly-Efficient NTRU Instantiations. 2023. PKC 2023. To appear

2022

• Jun Yan, Dominique Unruh, Junbin Fang, Dehua Zhou. How to Base Security on the Perfect/Statistical Binding Property of Quantum Bit Commitment?. 2022. ISAAC 2022
• Dominique Unruh. Quantum relational Hoare logic, towards a formalization. 2022. PLanQC. Invited talk. [Video | Slides]. Talk.
• Dominique Unruh. The quantum random oracle model. 2022. IPAM Graduate Summer School on Post-quantum and Quantum Cryptography. Invited lecture. [Video | Slides]. Talk.
• Bernardo Magri, Giulio Malavolta, Dominique Schröder, Dominique Unruh. Everlasting UC Commitments from Fully Malicious PUFs. 2022. J Cryptology. 35(3):20
• Zhaowei Xu, Mingsheng Ying, Benoît Valiron, Dominique Unruh. Reasoning about Parameterized Recursive Quantum Programs with Ancilla Data and Probabilistic Control: a unified assertion logic for verifying both classical and quantum programs. 2022. Transactions on Computational Logic. ACM. To appear
• Denis Firsov, Dominique Unruh. Reflection, Rewinding, and Coin-Toss in EasyCrypt. 2022. CPP 2022. ACM

2021

• Tore Vincent Carstens, Ehsan Ebrahimi, Gelo Tabia, Dominique Unruh. Relationships between quantum IND-CPA notions. 2021. TCC 2021. LNCS. Pages 240-272. Volume 13042. Springer. [Video | Slides]
• Dominique Unruh. Quantum and Classical Registers. 2021. Archive of Formal Proofs. Formal Isabelle proof development
• Dominique Unruh. Quantum rewinding. 2021. Quiques. Invited talk. [Video | Slides]. Talk.
• José Manuel Rodríguez Caballero, Dominique Unruh. Complex Bounded Operators. 2021. Archive of Formal Proofs. Formal Isabelle proof development
• Yangjia Li, Dominique Unruh. Quantum Relational Hoare Logic with Expectations. 2021. ICALP 2021, track B. LIPIcs. Pages 136:1-136:20. Volume 198. Schloss Dagstuhl
• Dominique Unruh. Quantum and classical registers. 2021. PlanQC 2021. Talk.
• Dominique Unruh. Compressed Permutation Oracles (And the Collision-Resistance of Sponge/SHA3). 2021

2020

• Dominique Unruh. Post-Quantum Verification of Fujisaki-Okamoto. 2020. AsiaCrypt 2020. LNCS. Pages 321-352. Volume 12491. Springer
• Dominique Unruh. Local Variables and Quantum Relational Hoare Logic. 2020
• Kathrin Hövelmanns, Eike Kiltz, Sven Schäge, Dominique Unruh. Generic Authenticated Key Exchange in the Quantum Random Oracle Model. 2020. PKC 2020. LNCS. Pages 389-422. Volume 12111. Springer
• José Manuel Rodríguez Caballero, Dominique Unruh. Banach-Steinhaus Theorem. 2020. Archive of Formal Proofs. Formal Isabelle proof development

2019

• Andris Ambainis, Mike Hamburg, Dominique Unruh. Quantum Security Proofs Using Semi-classical Oracles. 2019. Crypto 2019. LNCS. Pages 269-295. Volume 11693. Springer
• Dominique Unruh. Quantum Hoare Logic with Ghost Variables. 2019. LICS 2019. Pages 1-13. IEEE
• Dominique Unruh. Quantum Relational Hoare Logic. 2019. POPL 2019. Proc. ACM Programming Languages. 3:33:1-33:31

2018

• Ehsan Ebrahimi Targhi, Dominique Unruh. Quantum Collision-Resistance of Non-uniformly Distributed Functions: Upper and Lower Bounds. 2018. QIC. 18(15-16):1332-1349
• Dennis Hofheinz, Jörn Müller-Quade, Dominique Unruh. On the (Im-)Possibility of Extending Coin Toss. 2018. Journal of Cryptology. 31(4):1120-1163. Springer
• Jan Czajkowski, Leon Groot Bruinderink, Andreas Hülsing, Christian Schaffner, Dominique Unruh. Post-quantum security of the sponge construction. 2018. PQCrypto 2018. LNCS. Pages 185-204. Volume 10786
• Tore Vincent Carstens, Ehsan Ebrahimi, Gelo Noel Tabia, Dominique Unruh. On Quantum Indifferentiability. 2018
• Dominique Unruh. Everlasting Multi-Party Computation. 2018. Journal of Cryptology. 31(4):965-1011. Springer

2017

• Dominique Unruh. Post-Quantum Security of Fiat-Shamir. 2017. Asiacrypt 2017. LNCS. Pages 65-95. Volume 10624
• Dominique Schröder, Dominique Unruh. Security of Blind Signatures Revisited. 2017. Journal of Cryptology. 30(2):470-494. Springer-Verlag
• Dominique Unruh. Collapsing sponges: Post-quantum security of the sponge construction. 2017

2016

• Ehsan Ebrahimi Targhi, Dominique Unruh. Quantum Security of the Fujisaki-Okamoto and OAEP Transforms. 2016. TCC 2016-B, part II. LNCS. Pages 192-216. Volume 9986
• Aharon Brodutch, Daniel Nagaj, Or Sattath, Dominique Unruh. An adaptive attack on Wiesner’s quantum money. 2016. QIC. 16(11-12):1048-1070
• Dominique Unruh. Collapse-binding quantum commitments without random oracles. 2016. Asiacrypt 2016. LNCS. Pages 166-195. Volume 10032
• Dominique Unruh. Computationally binding quantum commitments. 2016. Eurocrypt 2016. LNCS. Pages 497-527. Volume 9666. Springer
• Florian Böhl, Dominique Unruh. Symbolic Universal Composability. 2016. J Computer Security. 24(1):1-38
• Ehsan Ebrahimi Targhi, Gelo Noel Tabia, Dominique Unruh. Quantum Collision-Resistance of Non-Uniformly Distributed Functions. 2016. PQCrypto 2016. LNCS. Pages 79-85. Volume 9606
• Mayuresh Vivekanand Anand, Ehsan Ebrahimi Targhi, Gelo Noel Tabia, Dominique Unruh. Post-Quantum Security of the CBC, CFB, OFB, CTR, and XTS Modes of Operation. 2016. PQCrypto 2016. LNCS. Pages 44-63. Volume 9606

2015

• Dominique Unruh. Revocable quantum timed-release encryption. 2015. Journal of the ACM. 62(6):49:1-76. ACM
• Ehsan Ebrahimi Targhi, Gelo Noel Tabia, Dominique Unruh. Quantum collision-resistance of non-uniformly distributed functions. 2015. QCrypt 2015. Poster. Poster.
• Ehsan Ebrahimi Targhi, Dominique Unruh. Quantum security of the Fujisaki-Okamoto transform. 2015. QCrypt 2015. Poster. Poster.
• Gilles Barthe, Michael Hicks, Florian Kerschbaum, Dominique Unruh. The Synergy Between Programming Languages and Cryptography (Dagstuhl Seminar 14492). 2015. Dagstuhl Reports. 4(12):29-47. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
• Dominique Unruh. Non-interactive zero-knowledge proofs in the quantum random oracle model. 2015. Eurocrypt 2015. Pages 755-784. Volume 9057. Springer

2014

• Andris Ambainis, Ansis Rosmanis, Dominique Unruh. Quantum Attacks on Classical Proof Systems (The Hardness of Quantum Rewinding). 2014. FOCS 2014. Pages 474-483. IEEE
• Dominique Unruh. Quantum position verification in the random oracle model. 2014. Crypto 2014. LNCS. Pages 1-18. Volume 8617. Springer
• Dominique Unruh. Revocable quantum timed-release encryption. 2014. Eurocrypt 2014. LNCS. Pages 129-146. Volume 8441. Springer

2013

• Dominique Unruh. Everlasting Multi-Party Computation. 2013. Crypto 2013. LNCS. Pages 380-397. Volume 8043. Springer
• Florian Böhl, Dominique Unruh. Symbolic Universal Composability. 2013. CSF 2013. Pages 257-271. IEEE
• Lee Klingler, Rainer Steinwandt, Dominique Unruh. On using probabilistic Turing machines to model participants in cryptographic protocols. 2013. Theoretical Computer Science. 501:49-51. Elsevier
• Michael Backes, Fabian Bendun, Dominique Unruh. Computational Soundness of Symbolic Zero-Knowledge Proofs: Weaker Assumptions and Mechanized Verification. 2013. POST 2013. LNCS. Pages 206-225. Volume 7796. Springer

2012

• Michael Backes, Ankit Malik, Dominique Unruh. Computational Soundness without Protocol Restrictions. 2012. ACM CCS 2012. Pages 699-711. ACM Press
• Dennis Hofheinz, Dominique Unruh, Jörn Müller-Quade. Polynomial Runtime and Composability. 2012. Journal of Cryptology. Springer-Verlag
• Dominique Unruh. Programmable encryption and key-dependent messages. 2012
• Dominique Schröder, Dominique Unruh. Security of Blind Signatures Revisited. 2012. PKC 2012. LNCS. Pages 662-679. Volume 7293
• Dominique Unruh. Quantum Proofs of Knowledge. 2012. Eurocrypt 2012. LNCS. Pages 135-152. Volume 7237. Springer

2011

• Dominique Schröder, Dominique Unruh, Sanjam Garg, Vanishree Rao, Amit Sahai. Round Optimal Blind Signatures. 2011. Crypto 2011. LNCS. Pages 630-648. Volume 6841. Springer
• Dominique Unruh. Termination-Insensitive Computational Indistinguishability (and applications to computational soundness). 2011. CSF 2011. Pages 251-265. IEEE Computer Society
• Dominique Schröder, Dominique Unruh. Round Optimal Blind Signatures. 2011
• Dominique Unruh. Concurrent composition in the bounded quantum storage model. 2011. Eurocrypt 2011. LNCS. Pages 467-486. Volume 6632. Springer

2010

• Michael Backes, Matteo Maffei, Dominique Unruh. Computationally Sound Verification of Source Code. 2010. ACM CCS 2010. Pages 387-398. ACM Press
• Michael Backes, Dominique Unruh. Computational Soundness of Symbolic Zero-Knowledge Proofs. 2010. Journal of Computer Security. 18(6):1077-1155. IOS Press
• Dominique Unruh, Jörn Müller-Quade. Universally Composable Incoercibility. 2010. Crypto 2010. LNCS. Pages 411-428. Volume 6223. Springer
• Dominique Unruh. The impossibility of computationally sound XOR. 2010
• Dominique Unruh. Universally Composable Quantum Multi-Party Computation. 2010. Eurocrypt 2010. LNCS. Pages 486-505. Volume 6110. Springer
• Jörn Müller-Quade, Dominique Unruh. Long-term Security and Universal Composability. 2010. Journal of Cryptology. 23(4):594-671. Springer-Verlag

2009

• Michael Backes, Dennis Hofheinz, Dominique Unruh. CoSP: A general framework for computational soundness proofs. 2009. ACM CCS 2009. Pages 66-78
• Dennis Hofheinz, Jörn Müller-Quade, Dominique Unruh. Polynomial Runtime in Simulatability Definitions. 2009. Journal of Computer Security. 17(5):703-735. IOS Press
• Michael Backes, Peter Druschel, Andreas Haeberlen, Dominique Unruh. CSAR: A practical and provable technique to make randomized systems accountable. 2009. NDSS 2009. Pages 341-353. The Internet Society

2008

• Michael Backes, Dominique Unruh. Limits of Constructive Security Proofs. 2008. Asiacrypt 2008. Pages 290-307
• Michael Backes, Markus Dürmuth, Dominique Unruh. OAEP is Secure Under Key-dependent Messages. 2008. Asiacrypt 2008. LNCS. Pages 506-523. Volume 5350. Springer
• Michael Backes, Matthias Berg, Dominique Unruh. A Formal Language for Cryptographic Pseudocode. 2008. LPAR 2008. Pages 353-376. Springer
• Michael Backes, Markus Dürmuth, Dominique Unruh. Compromising Reflections or How to Read LCD Monitors Around the Corner. 2008. IEEE Security and Privacy 2008. Pages 158-169
• Michael Backes, Dominique Unruh. Computational Soundness of Symbolic Zero-Knowledge Proofs Against Active Attackers. 2008. CSF 2008. Pages 255-269
• Michael Backes, Matteo Maffei, Dominique Unruh. Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol. 2008. IEEE Security and Privacy 2008. Pages 202-215
• Michael Backes, Markus Dürmuth, Dominique Unruh. Gespiegelt / Verräterische Reflexionen: Wie Brillengläser Geheimnisse verraten. 2008. iX Magazin für Professionelle Informationstechnik. 5:115-117. Heise Verlag, Hannover. In German
• Dennis Hofheinz, Dominique Unruh. Towards Key-Dependent Message Security in the Standard Model. 2008. Eurocrypt 2008. Lecture Notes in Computer Science. Pages 108-126. Volume 4965. Springer

2007

• Michael Backes, Markus Dürmuth, Dominique Unruh. Vorgetäuscht / Böse Textdokumente – Postscript gone wild. 2007. iX Magazin für Professionelle Informationstechnik. 9:136-138. Heise Verlag, Hannover. In German
• Dominique Unruh. Random Oracles and Auxiliary Input. 2007. Crypto 2007. Lecture Notes in Computer Science. Pages 205-223. Volume 4622
• Michael Backes, Markus Dürmuth, Dominique Unruh. Information Flow in the Peer-Reviewing Process (extended abstract). 2007. IEEE Security and Privacy 2007. Pages 187-191
• Dominique Unruh. Protokollkomposition und Komplexität. 2007. Lecture Notes in Informatics (LNI) – Dissertations. Pages 189-198. Volume D-7. In: Ausgezeichnete Informatikdissertationen 2006. Gesellschaft für Informatik. In German
• Michael Backes, Dominique Unruh. On the Security of Protocols with Logarithmic Communication Complexity. 2007
• Dominique Unruh. Quantum Programs with Classical Output Streams. 2007. ENTCS. 170:165-184. Elsevier Science Publishers. Workshop on Quantum Programming Languages, QPL 2005
• Jörn Müller-Quade, Dominique Unruh. Long-term Security and Universal Composability. 2007. TCC 2007. Lecture Notes in Computer Science. Pages 41-60. Volume 4392. Springer-Verlag
• Michael Backes, Jörn Müller-Quade, Dominique Unruh. On the Necessity of Rewinding in Secure Multiparty Computation. 2007. TCC 2007. Lecture Notes in Computer Science. Pages 157-174. Volume 4392. Springer-Verlag
• Dominique Unruh, Protokollkomposition und Komplexität (doctoral thesis, 2007)
• Dennis Hofheinz, Dominique Unruh, Jörn Müller-Quade. Universally Composable Zero-Knowledge Arguments and Commitments from Signature Cards. 2007. Moraviacrypt ‘05. Tatra Mt. Math. Pub.. 37:93-103

2006

• Dennis Hofheinz, Dominique Unruh. An attack on a group-based cryptographic scheme. 2006. Algebraic Methods in Cryptography. Contemporary Mathematics. Pages 133-140. Volume 418. AMS
• Dominique Unruh. Quantum Programming Languages. 2006. Informatik - Forschung und Entwicklung. 21(1):55-63. Springer-Verlag
• Dennis Hofheinz, Jörn Müller-Quade, Dominique Unruh. A Simple Model of Polynomial Time UC (abstract). 2006. Workshop on Models for Cryptographic Protocols 2006
• Jörn Müller-Quade, Dominique Unruh. Composable Deniability (abstract). 2006. Workshop on Models for Cryptographic Protocols 2006
• Dennis Hofheinz, Jörn Müller-Quade, Dominique Unruh. On the (Im-)Possibility of Extending Coin Toss. 2006. Eurocrypt 2006. Lecture Notes in Computer Science. Pages 504-521. Volume 4004. Springer
• Dennis Hofheinz, Dominique Unruh. Simulatable Security and Polynomially Bounded Concurrent Composition. 2006. IEEE Security and Privacy 2006. Pages 169-182. IEEE

2005

• Dominique Unruh. Relations among Statistical Security Notions - or - Why Exponential Adversaries are Unlimited. 2005
• Michael Backes, Dennis Hofheinz, Jörn Müller-Quade, Dominique Unruh. On Fairness in Simulatability-based Cryptographic Systems. 2005. ACM Workshop Formal Methods in Security Engineering, FMSE 2005. Pages 13-22
• Dennis Hofheinz, Dominique Unruh. On the Notion of Statistical Security in Simulatability Definitions. 2005. ISC’05. Lecture Notes in Computer Science. Springer
• Jörn Müller-Quade, Stefan Röhrich, Dominique Unruh. Oblivious Transfer is Incomplete for Deniable Protocols. 2005. Workshop on The Past, Present and Future of Oblivious Transfer
• Dennis Hofheinz, Dominique Unruh. Comparing Two Notions of Simulatability. 2005. TCC 2005. Lecture Notes in Computer Science. Pages 89-103. Springer-Verlag
• Dennis Hofheinz, Jörn Müller-Quade, Dominique Unruh. Polynomial Runtime in Simulatability Definitions. 2005. CSFW 2005. Pages 156-169. IEEE

2004

• Dominique Unruh. Simulatable security for quantum protocols. 2004
• Dominique Unruh. Classical Control in Quantum Programs. 2004. QIPC 2004. Poster. Poster.

2003

• Dominique Unruh, Zufallsextraktoren für Quellen variierender Qualität (diplom thesis (similar to master), 2003)

2002

• Dominique Unruh, Formal Security in Quantum Cryptology (studienarbeit (similar to bachelor thesis), 2002)