| 2026 | ITP | Developing a Quantum Crypto Theorem Prover from Scratch (Invited Talk). | Dominique Unruh |
| 2026 | ITP | Complex Bounded Operators in Isabelle/HOL. | Dominique Unruh, Jos Manuel Rodrguez Caballero |
| 2025 | CPP | Leakage-Free Probabilistic Jasmin Programs. | Jos Bacelar Almeida, Denis Firsov, Tiago Oliveira, Dominique Unruh |
| 2025 | CPP | Formalizing the One-Way to Hiding Theorem. | Katharina Heidler, Dominique Unruh |
| 2025 | ICALP | Bayesian Inference in Quantum Programs. | Christina Gehnen, Dominique Unruh, Joost-Pieter Katoen |
| 2023 | ASIACRYPT | Towards Compressed Permutation Oracles. | Dominique Unruh |
| 2023 | PKC | A Thorough Treatment of Highly-Efficient NTRU Instantiations. | Julien Duman, Kathrin Hvelmanns, Eike Kiltz, Vadim Lyubashevsky, Gregor Seiler, Dominique Unruh |
| 2022 | CPP | Reflection, rewinding, and coin-toss in EasyCrypt. | Denis Firsov, Dominique Unruh |
| 2022 | ISAAC | How to Base Security on the Perfect/Statistical Binding Property of Quantum Bit Commitment? | Junbin Fang, Dominique Unruh, Jun Yan, Dehua Zhou |
| 2021 | ICALP | Quantum Relational Hoare Logic with Expectations. | Yangjia Li, Dominique Unruh |
| 2021 | TCC | Relationships Between Quantum IND-CPA Notions. | Tore Vincent Carstens, Ehsan Ebrahimi, Gelo Noel Tabia, Dominique Unruh |
| 2020 | ASIACRYPT | Post-Quantum Verification of Fujisaki-Okamoto. | Dominique Unruh |
| 2020 | PKC | Generic Authenticated Key Exchange in the Quantum Random Oracle Model. | Kathrin Hvelmanns, Eike Kiltz, Sven Schge, Dominique Unruh |
| 2019 | CRYPTO | Quantum Security Proofs Using Semi-classical Oracles. | Andris Ambainis, Mike Hamburg, Dominique Unruh |
| 2019 | LICS | Quantum Hoare Logic with Ghost Variables. | Dominique Unruh |
| 2018 | PQCrypto | Post-quantum Security of the Sponge Construction. | Jan Czajkowski, Leon Groot Bruinderink, Andreas Hlsing, Christian Schaffner, Dominique Unruh |
| 2017 | ASIACRYPT | Post-quantum Security of Fiat-Shamir. | Dominique Unruh |
| 2016 | ASIACRYPT | Collapse-Binding Quantum Commitments Without Random Oracles. | Dominique Unruh |
| 2016 | EuroCrypt | Computationally Binding Quantum Commitments. | Dominique Unruh |
| 2016 | PQCrypto | Post-Quantum Security of the CBC, CFB, OFB, CTR, and XTS Modes of Operation. | Mayuresh Vivekanand Anand, Ehsan Ebrahimi Targhi, Gelo Noel Tabia, Dominique Unruh |
| 2016 | PQCrypto | Quantum Collision-Resistance of Non-uniformly Distributed Functions. | Ehsan Ebrahimi Targhi, Gelo Noel Tabia, Dominique Unruh |
| 2016 | TCC | Post-Quantum Security of the Fujisaki-Okamoto and OAEP Transforms. | Ehsan Ebrahimi Targhi, Dominique Unruh |
| 2015 | EuroCrypt | Non-Interactive Zero-Knowledge Proofs in the Quantum Random Oracle Model. | Dominique Unruh |
| 2014 | CRYPTO | Quantum Position Verification in the Random Oracle Model. | Dominique Unruh |
| 2014 | EuroCrypt | Revocable Quantum Timed-Release Encryption. | Dominique Unruh |
| 2014 | FOCS | Quantum Attacks on Classical Proof Systems: The Hardness of Quantum Rewinding. | Andris Ambainis, Ansis Rosmanis, Dominique Unruh |
| 2013 | CRYPTO | Everlasting Multi-party Computation. | Dominique Unruh |
| 2012 | CCS | Computational soundness without protocol restrictions. | Michael Backes, Ankit Malik, Dominique Unruh |
| 2012 | EuroCrypt | Quantum Proofs of Knowledge. | Dominique Unruh |
| 2012 | PKC | Security of Blind Signatures Revisited. | Dominique Schrder, Dominique Unruh |
| 2011 | CRYPTO | Round Optimal Blind Signatures. | Sanjam Garg, Vanishree Rao, Amit Sahai, Dominique Schrder, Dominique Unruh |
| 2011 | EuroCrypt | Concurrent Composition in the Bounded Quantum Storage Model. | Dominique Unruh |
| 2010 | CCS | Computationally sound verification of source code. | Michael Backes, Matteo Maffei, Dominique Unruh |
| 2010 | CRYPTO | Universally Composable Incoercibility. | Dominique Unruh, Jrn Mller-Quade |
| 2010 | EuroCrypt | Universally Composable Quantum Multi-party Computation. | Dominique Unruh |
| 2009 | CCS | CoSP: a general framework for computational soundness proofs. | Michael Backes, Dennis Hofheinz, Dominique Unruh |
| 2009 | NDSS | CSAR: A Practical and Provable Technique to Make Randomized Systems Accountable. | Michael Backes, Peter Druschel, Andreas Haeberlen, Dominique Unruh |
| 2008 | ASIACRYPT | OAEP Is Secure under Key-Dependent Messages. | Michael Backes, Markus Drmuth, Dominique Unruh |
| 2008 | ASIACRYPT | Limits of Constructive Security Proofs. | Michael Backes, Dominique Unruh |
| 2008 | EuroCrypt | Towards Key-Dependent Message Security in the Standard Model. | Dennis Hofheinz, Dominique Unruh |
| 2008 | LPAR | A Formal Language for Cryptographic Pseudocode. | Michael Backes, Matthias Berg, Dominique Unruh |
| 2008 | SP | Compromising Reflections-or-How to Read LCD Monitors around the Corner. | Michael Backes, Markus Drmuth, Dominique Unruh |
| 2008 | SP | Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol. | Michael Backes, Matteo Maffei, Dominique Unruh |
| 2007 | CRYPTO | Random Oracles and Auxiliary Input. | Dominique Unruh |
| 2007 | SP | Information Flow in the Peer-Reviewing Process. | Michael Backes, Markus Drmuth, Dominique Unruh |
| 2007 | TCC | On the Necessity of Rewinding in Secure Multiparty Computation. | Michael Backes, Jrn Mller-Quade, Dominique Unruh |
| 2007 | TCC | Long-Term Security and Universal Composability. | Jrn Mller-Quade, Dominique Unruh |
| 2006 | EuroCrypt | On the (Im-)Possibility of Extending Coin Toss. | Dennis Hofheinz, Jrn Mller-Quade, Dominique Unruh |
| 2006 | SP | Simulatable Security and Polynomially Bounded Concurrent Composability. | Dennis Hofheinz, Dominique Unruh |
| 2005 | CCS | On fairness in simulatability-based cryptographic systems. | Michael Backes, Dennis Hofheinz, Jrn Mller-Quade, Dominique Unruh |
| 2005 | TCC | Comparing Two Notions of Simulatability. | Dennis Hofheinz, Dominique Unruh |