Dominique Unruh

149 papers A* 19A 6B 8C 4Journal 89Unranked 21
YearRankTypeTitle / Venue / Authors
2025 A* conf
Bayesian Inference in Quantum Programs.
ICALP
Christina Gehnen, Dominique Unruh, Joost-Pieter Katoen
2025 J jnl
Bayesian Inference in Quantum Programs.
CoRR
Christina Gehnen, Dominique Unruh, Joost-Pieter Katoen
2025 J jnl
Complex Bounded Operators in Isabelle/HOL.
CoRR
Dominique Unruh, José Manuel Rodríguez Caballero
2025 J jnl
Compressed Oracles.
Arch. Formal Proofs
Dominique Unruh
2025 B conf
Formalizing the One-Way to Hiding Theorem.
CPP
Katharina Heidler, Dominique Unruh
2025 J jnl
Kraus Maps.
Arch. Formal Proofs
Dominique Unruh
2025 B conf
Leakage-Free Probabilistic Jasmin Programs.
CPP
José Bacelar Almeida, Denis Firsov, Tiago Oliveira, Dominique Unruh
2025 J jnl
The Oneway to Hiding Theorem.
Arch. Formal Proofs
Katharina Kreuzer, Dominique Unruh
2024 J jnl
The Tensor Product on Hilbert Spaces.
Arch. Formal Proofs
Dominique Unruh
2024 J jnl
With-Type - Poor man's dependent types.
Arch. Formal Proofs
Dominique Unruh
2024 J jnl
Without Loss of Generality.
Arch. Formal Proofs
Dominique Unruh
2023 — conf
A Thorough Treatment of Highly-Efficient NTRU Instantiations.
Public Key Cryptography (1)
Julien Duman, Kathrin Hövelmanns, Eike Kiltz, Vadim Lyubashevsky, Gregor Seiler, Dominique Unruh
2023 J jnl
Leakage-Free Probabilistic Jasmin Programs.
IACR Cryptol. ePrint Arch.
José Bacelar Almeida, Denis Firsov, Tiago Oliveira, Dominique Unruh
2023 J jnl
Schnorr protocol in Jasmin.
IACR Cryptol. ePrint Arch.
Denis Firsov, Tiago Oliveira, Dominique Unruh
2023 — conf
Towards Compressed Permutation Oracles.
ASIACRYPT (4)
Dominique Unruh
2023 J jnl
Towards compressed permutation oracles.
IACR Cryptol. ePrint Arch.
Dominique Unruh
2023 A conf
Zero-Knowledge in EasyCrypt.
CSF
Denis Firsov, Dominique Unruh
2022 J jnl
Everlasting UC Commitments from Fully Malicious PUFs.
J. Cryptol.
Bernardo Magri, Giulio Malavolta, Dominique Schröder, Dominique Unruh
2022 B conf
How to Base Security on the Perfect/Statistical Binding Property of Quantum Bit Commitment?
ISAAC
Junbin Fang, Dominique Unruh, Jun Yan, Dehua Zhou
2022 B conf
Reflection, rewinding, and coin-toss in EasyCrypt.
CPP
Denis Firsov, Dominique Unruh
2022 J jnl
Zero-Knowledge in EasyCrypt.
IACR Cryptol. ePrint Arch.
Denis Firsov, Dominique Unruh
2021 J jnl
A Thorough Treatment of Highly-Efficient NTRU Instantiations.
IACR Cryptol. ePrint Arch.
Julien Duman, Kathrin Hövelmanns, Eike Kiltz, Vadim Lyubashevsky, Gregor Seiler, Dominique Unruh
2021 J jnl
Complex Bounded Operators.
Arch. Formal Proofs
José Manuel Rodríguez Caballero, Dominique Unruh
2021 J jnl
Compressed Permutation Oracles (And the Collision-Resistance of Sponge/SHA3).
IACR Cryptol. ePrint Arch.
Dominique Unruh
2021 J jnl
Everlasting UC Commitments from Fully Malicious PUFs.
IACR Cryptol. ePrint Arch.
Bernardo Magri, Giulio Malavolta, Dominique Schröder, Dominique Unruh
2021 A* conf
Quantum Relational Hoare Logic with Expectations.
ICALP
Yangjia Li, Dominique Unruh
2021 J jnl
Quantum and Classical Registers.
Arch. Formal Proofs
Dominique Unruh
2021 J jnl
Quantum and classical registers.
CoRR
Dominique Unruh
2021 J jnl
Reflection, Rewinding, and Coin-Toss in EasyCrypt.
IACR Cryptol. ePrint Arch.
Denis Firsov, Dominique Unruh
2021 — conf
Relationships Between Quantum IND-CPA Notions.
TCC (1)
Tore Vincent Carstens, Ehsan Ebrahimi, Gelo Noel Tabia, Dominique Unruh
2020 J jnl
Banach-Steinhaus Theorem.
Arch. Formal Proofs
Dominique Unruh, José Manuel Rodríguez Caballero
2020 — conf
Generic Authenticated Key Exchange in the Quantum Random Oracle Model.
Public Key Cryptography (2)
Kathrin Hövelmanns, Eike Kiltz, Sven Schäge, Dominique Unruh
2020 J jnl
How to Base Security on the Perfect/Statistical Binding Property of Quantum Bit Commitment?
IACR Cryptol. ePrint Arch.
Junbin Fang, Dominique Unruh, Jian Weng, Jun Yan, Dehua Zhou
2020 J jnl
Local Variables and Quantum Relational Hoare Logic.
CoRR
Dominique Unruh
2020 J jnl
On quantum indistinguishability under chosen plaintext attack.
IACR Cryptol. ePrint Arch.
Tore Vincent Carstens, Ehsan Ebrahimi, Gelo Noel Tabia, Dominique Unruh
2020 — conf
Post-Quantum Verification of Fujisaki-Okamoto.
ASIACRYPT (1)
Dominique Unruh
2020 J jnl
Post-Quantum Verification of Fujisaki-Okamoto.
IACR Cryptol. ePrint Arch.
Dominique Unruh
2019 A* conf
Quantum Hoare Logic with Ghost Variables.
LICS
Dominique Unruh
2019 J jnl
Quantum Hoare Logic with Ghost Variables.
CoRR
Dominique Unruh
2019 J jnl
Quantum Relational Hoare Logic with Expectations.
CoRR
Yangjia Li, Dominique Unruh
2019 — conf
Quantum Security Proofs Using Semi-classical Oracles.
CRYPTO (2)
Andris Ambainis, Mike Hamburg, Dominique Unruh
2019 J jnl
Quantum relational Hoare logic.
Proc. ACM Program. Lang.
Dominique Unruh
2018 J jnl
Everlasting Multi-party Computation.
J. Cryptol.
Dominique Unruh
2018 J jnl
Generic Authenticated Key Exchange in the Quantum Random Oracle Model.
IACR Cryptol. ePrint Arch.
Kathrin Hövelmanns, Eike Kiltz, Sven Schäge, Dominique Unruh
2018 J jnl
On Quantum Indifferentiability.
IACR Cryptol. ePrint Arch.
Tore Vincent Carstens, Ehsan Ebrahimi, Gelo Noel Tabia, Dominique Unruh
2018 J jnl
On the (Im-)Possibility of Extending Coin Toss.
J. Cryptol.
Dennis Hofheinz, Jörn Müller-Quade, Dominique Unruh
2018 C conf
Post-quantum Security of the Sponge Construction.
PQCrypto
Jan Czajkowski, Leon Groot Bruinderink, Andreas Hülsing, Christian Schaffner, Dominique Unruh
2018 J jnl
Quantum Relational Hoare Logic.
CoRR
Dominique Unruh
2018 J jnl
Quantum collision-resistance of non-uniformly distributed functions: upper and lower bounds.
Quantum Inf. Comput.
Ehsan Ebrahimi, Dominique Unruh
2018 J jnl
Quantum security proofs using semi-classical oracles.
IACR Cryptol. ePrint Arch.
Andris Ambainis, Mike Hamburg, Dominique Unruh
2017 J jnl
Collapsing sponges: Post-quantum security of the sponge construction.
IACR Cryptol. ePrint Arch.
Dominique Unruh
2017 J jnl
Post-Quantum Security of Fiat-Shamir.
IACR Cryptol. ePrint Arch.
Dominique Unruh
2017 — conf
Post-quantum Security of Fiat-Shamir.
ASIACRYPT (1)
Dominique Unruh
2017 J jnl
Post-quantum security of the sponge construction.
IACR Cryptol. ePrint Arch.
Jan Czajkowski, Leon Groot Bruinderink, Andreas Hülsing, Christian Schaffner, Dominique Unruh
2017 J jnl
Quantum Collision-Resistance of Non-uniformly Distributed Functions: Upper and Lower Bounds.
IACR Cryptol. ePrint Arch.
Ehsan Ebrahimi Targhi, Dominique Unruh
2017 J jnl
Security of Blind Signatures Revisited.
J. Cryptol.
Dominique Schröder, Dominique Unruh
2016 J jnl
An adaptive attack on Wiesner's quantum money.
Quantum Inf. Comput.
Daniel Nagaj, Or Sattath, Aharon Brodutch, Dominique Unruh
2016 — conf
Collapse-Binding Quantum Commitments Without Random Oracles.
ASIACRYPT (2)
Dominique Unruh
2016 J jnl
Collapse-binding quantum commitments without random oracles.
IACR Cryptol. ePrint Arch.
Dominique Unruh
2016 — conf
Computationally Binding Quantum Commitments.
EUROCRYPT (2)
Dominique Unruh
2016 C conf
Post-Quantum Security of the CBC, CFB, OFB, CTR, and XTS Modes of Operation.
PQCrypto
Mayuresh Vivekanand Anand, Ehsan Ebrahimi Targhi, Gelo Noel Tabia, Dominique Unruh
2016 — conf
Post-Quantum Security of the Fujisaki-Okamoto and OAEP Transforms.
TCC (B2)
Ehsan Ebrahimi Targhi, Dominique Unruh
2016 J jnl
Post-quantum Security of the CBC, CFB, OFB, CTR, and XTS Modes of Operation.
IACR Cryptol. ePrint Arch.
Mayuresh Vivekanand Anand, Ehsan Ebrahimi Targhi, Gelo Noel Tabia, Dominique Unruh
2016 J jnl
Quantum Collision-Resistance of Non-Uniformly Distributed Functions.
IACR Cryptol. ePrint Arch.
Ehsan Ebrahimi Targhi, Gelo Noel Tabia, Dominique Unruh
2016 C conf
Quantum Collision-Resistance of Non-uniformly Distributed Functions.
PQCrypto
Ehsan Ebrahimi Targhi, Gelo Noel Tabia, Dominique Unruh
2016 J jnl
Symbolic universal composability.
J. Comput. Secur.
Florian Böhl, Dominique Unruh
2015 J jnl
Computationally binding quantum commitments.
IACR Cryptol. ePrint Arch.
Dominique Unruh
2015 — conf
Non-Interactive Zero-Knowledge Proofs in the Quantum Random Oracle Model.
EUROCRYPT (2)
Dominique Unruh
2015 J jnl
Quantum Security of the Fujisaki-Okamoto and OAEP Transforms.
IACR Cryptol. ePrint Arch.
Ehsan Ebrahimi Targhi, Dominique Unruh
2015 J jnl
Revocable Quantum Timed-Release Encryption.
J. ACM
Dominique Unruh
2014 J jnl
An adaptive attack on Wiesner's quantum money.
CoRR
Aharon Brodutch, Daniel Nagaj, Or Sattath, Dominique Unruh
2014 J jnl
Non-interactive zero-knowledge proofs in the quantum random oracle model.
IACR Cryptol. ePrint Arch.
Dominique Unruh
2014 J jnl
Quantum Attacks on Classical Proof Systems - The Hardness of Quantum Rewinding.
CoRR
Andris Ambainis, Ansis Rosmanis, Dominique Unruh
2014 J jnl
Quantum Attacks on Classical Proof Systems - The Hardness of Quantum Rewinding.
IACR Cryptol. ePrint Arch.
Andris Ambainis, Ansis Rosmanis, Dominique Unruh
2014 A* conf
Quantum Attacks on Classical Proof Systems: The Hardness of Quantum Rewinding.
FOCS
Andris Ambainis, Ansis Rosmanis, Dominique Unruh
2014 — conf
Quantum Position Verification in the Random Oracle Model.
CRYPTO (2)
Dominique Unruh
2014 J jnl
Quantum position verification in the random oracle model.
IACR Cryptol. ePrint Arch.
Dominique Unruh
2014 A* conf
Revocable Quantum Timed-Release Encryption.
EUROCRYPT
Dominique Unruh
2014 J jnl
The Synergy Between Programming Languages and Cryptography (Dagstuhl Seminar 14492).
Dagstuhl Reports
Gilles Barthe, Michael Hicks, Florian Kerschbaum, Dominique Unruh
2013 — conf
Computational Soundness of Symbolic Zero-Knowledge Proofs: Weaker Assumptions and Mechanized Verification.
POST
Michael Backes, Fabian Bendun, Dominique Unruh
2013 — conf
Everlasting Multi-party Computation.
CRYPTO (2)
Dominique Unruh
2013 J jnl
On using probabilistic Turing machines to model participants in cryptographic protocols.
Theor. Comput. Sci.
Lee Klingler, Rainer Steinwandt, Dominique Unruh
2013 J jnl
Polynomial Runtime and Composability.
J. Cryptol.
Dennis Hofheinz, Dominique Unruh, Jörn Müller-Quade
2013 J jnl
Revocable quantum timed-release encryption.
IACR Cryptol. ePrint Arch.
Dominique Unruh
2013 A conf
Symbolic Universal Composability.
CSF
Florian Böhl, Dominique Unruh
2013 J jnl
Symbolic Universal Composability.
IACR Cryptol. ePrint Arch.
Florian Böhl, Dominique Unruh
2012 J jnl
Computational Soundness of Symbolic Zero-knowledge Proofs: Weaker Assumptions and Mechanized Verification.
IACR Cryptol. ePrint Arch.
Michael Backes, Fabian Bendun, Dominique Unruh
2012 J jnl
Computational Soundness without Protocol Restrictions.
IACR Cryptol. ePrint Arch.
Michael Backes, Ankit Malik, Dominique Unruh
2012 A* conf
Computational soundness without protocol restrictions.
CCS
Michael Backes, Ankit Malik, Dominique Unruh
2012 J jnl
Everlasting Quantum Security.
IACR Cryptol. ePrint Arch.
Dominique Unruh
2012 J jnl
Programmable encryption and key-dependent messages.
IACR Cryptol. ePrint Arch.
Dominique Unruh
2012 A* conf
Quantum Proofs of Knowledge.
EUROCRYPT
Dominique Unruh
2012 — conf
Security of Blind Signatures Revisited.
Public Key Cryptography
Dominique Schröder, Dominique Unruh
2011 A* conf
Concurrent Composition in the Bounded Quantum Storage Model.
EUROCRYPT
Dominique Unruh
2011 A* conf
Round Optimal Blind Signatures.
CRYPTO
Sanjam Garg, Vanishree Rao, Amit Sahai, Dominique Schröder, Dominique Unruh
2011 J jnl
Round Optimal Blind Signatures.
IACR Cryptol. ePrint Arch.
Dominique Schröder, Dominique Unruh
2011 J jnl
Security of Blind Signatures Revisited.
IACR Cryptol. ePrint Arch.
Dominique Schröder, Dominique Unruh
2011 A conf
Termination-Insensitive Computational Indistinguishability (and Applications to Computational Soundness).
CSF
Dominique Unruh
2010 J jnl
Computational soundness of symbolic zero-knowledge proofs.
J. Comput. Secur.
Michael Backes, Dominique Unruh
2010 J jnl
Computationally Sound Verification of Source Code.
IACR Cryptol. ePrint Arch.
Michael Backes, Matteo Maffei, Dominique Unruh
2010 A* conf
Computationally sound verification of source code.
CCS
Michael Backes, Matteo Maffei, Dominique Unruh
2010 J jnl
Concurrent composition in the bounded quantum storage model.
IACR Cryptol. ePrint Arch.
Dominique Unruh
2010 J jnl
Long-Term Security and Universal Composability.
J. Cryptol.
Jörn Müller-Quade, Dominique Unruh
2010 J jnl
Quantum Proofs of Knowledge.
IACR Cryptol. ePrint Arch.
Dominique Unruh
2010 J jnl
Termination-Insensitive Computational Indistinguishability (and applications to computational soundness).
IACR Cryptol. ePrint Arch.
Dominique Unruh
2010 J jnl
The impossibility of computationally sound XOR.
IACR Cryptol. ePrint Arch.
Dominique Unruh
2010 A* conf
Universally Composable Incoercibility.
CRYPTO
Dominique Unruh, Jörn Müller-Quade
2010 A* conf
Universally Composable Quantum Multi-party Computation.
EUROCRYPT
Dominique Unruh
2009 A* conf
CSAR: A Practical and Provable Technique to Make Randomized Systems Accountable.
NDSS
Michael Backes, Peter Druschel, Andreas Haeberlen, Dominique Unruh
2009 J jnl
CoSP: A General Framework For Computational Soundness Proofs.
IACR Cryptol. ePrint Arch.
Michael Backes, Dennis Hofheinz, Dominique Unruh
2009 A* conf
CoSP: a general framework for computational soundness proofs.
CCS
Michael Backes, Dennis Hofheinz, Dominique Unruh
2009 J jnl
Polynomial Runtime and Composability.
IACR Cryptol. ePrint Arch.
Dennis Hofheinz, Dominique Unruh, Jörn Müller-Quade
2009 J jnl
Polynomial runtime in simulatability definitions.
J. Comput. Secur.
Dennis Hofheinz, Jörn Müller-Quade, Dominique Unruh
2009 J jnl
Universally Composable Incoercibility.
IACR Cryptol. ePrint Arch.
Dominique Unruh, Jörn Müller-Quade
2009 J jnl
Universally Composable Quantum Multi-Party Computation.
CoRR
Dominique Unruh
2008 B conf
A Formal Language for Cryptographic Pseudocode.
LPAR
Michael Backes, Matthias Berg, Dominique Unruh
2008 A* conf
Compromising Reflections-or-How to Read LCD Monitors around the Corner.
SP
Michael Backes, Markus Dürmuth, Dominique Unruh
2008 A conf
Computational Soundness of Symbolic Zero-Knowledge Proofs Against Active Attackers.
CSF
Michael Backes, Dominique Unruh
2008 J jnl
Computational soundness of symbolic zero-knowledge proofs.
IACR Cryptol. ePrint Arch.
Michael Backes, Dominique Unruh
2008 A conf
Limits of Constructive Security Proofs.
ASIACRYPT
Michael Backes, Dominique Unruh
2008 A conf
OAEP Is Secure under Key-Dependent Messages.
ASIACRYPT
Michael Backes, Markus Dürmuth, Dominique Unruh
2008 A* conf
Towards Key-Dependent Message Security in the Standard Model.
EUROCRYPT
Dennis Hofheinz, Dominique Unruh
2008 A* conf
Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol.
SP
Michael Backes, Matteo Maffei, Dominique Unruh
2007 — conf
Information Flow in the Peer-Reviewing Process.
S&P
Michael Backes, Markus Dürmuth, Dominique Unruh
2007 B conf
Long-Term Security and Universal Composability.
TCC
Jörn Müller-Quade, Dominique Unruh
2007 B conf
On the Necessity of Rewinding in Secure Multiparty Computation.
TCC
Michael Backes, Jörn Müller-Quade, Dominique Unruh
2007 J jnl
On the Security of Protocols with Logarithmic Communication Complexity.
IACR Cryptol. ePrint Arch.
Michael Backes, Dominique Unruh
2007 A* conf
Random Oracles and Auxiliary Input.
CRYPTO
Dominique Unruh
2007 J jnl
Random Oracles and Auxiliary Input.
IACR Cryptol. ePrint Arch.
Dominique Unruh
2007 J jnl
Towards Key-Dependent Message Security in the Standard Model.
IACR Cryptol. ePrint Arch.
Dennis Hofheinz, Dominique Unruh
2007 — conf
Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol.
Formal Protocol Verification Applied
Michael Backes, Matteo Maffei, Dominique Unruh
2007 J jnl
Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol.
IACR Cryptol. ePrint Arch.
Michael Backes, Matteo Maffei, Dominique Unruh
2006 J jnl
Long-term Security and Universal Composability.
IACR Cryptol. ePrint Arch.
Jörn Müller-Quade, Dominique Unruh
2006 A* conf
On the (Im-)Possibility of Extending Coin Toss.
EUROCRYPT
Dennis Hofheinz, Jörn Müller-Quade, Dominique Unruh
2006 J jnl
On the (Im-)Possibility of Extending Coin Toss.
IACR Cryptol. ePrint Arch.
Dennis Hofheinz, Jörn Müller-Quade, Dominique Unruh
2006 J jnl
On the Necessity of Rewinding in Secure Multiparty Computation.
IACR Cryptol. ePrint Arch.
Michael Backes, Jörn Müller-Quade, Dominique Unruh
2006 — —
Protokollkomposition und Komplexität.
Dominique Unruh
2006 — ch.
Protokollkomposition und Komplexität.
Ausgezeichnete Informatikdissertationen
Dominique Unruh
2006 J jnl
Quantum programming languages.
Inform. Forsch. Entwickl.
Dominique Unruh
2006 — conf
Simulatable Security and Polynomially Bounded Concurrent Composability.
S&P
Dennis Hofheinz, Dominique Unruh
2006 J jnl
Simulatable Security and Polynomially Bounded Concurrent Composition.
IACR Cryptol. ePrint Arch.
Dennis Hofheinz, Dominique Unruh
2005 B conf
Comparing Two Notions of Simulatability.
TCC
Dennis Hofheinz, Dominique Unruh
2005 J jnl
On Fairness in Simulatability-based Cryptographic Systems.
IACR Cryptol. ePrint Arch.
Michael Backes, Dennis Hofheinz, Jörn Müller-Quade, Dominique Unruh
2005 — conf
On fairness in simulatability-based cryptographic systems.
FMSE
Michael Backes, Dennis Hofheinz, Jörn Müller-Quade, Dominique Unruh
2005 J jnl
On the Notion of Statistical Security in Simulatability Definitions.
IACR Cryptol. ePrint Arch.
Dennis Hofheinz, Dominique Unruh
2005 C conf
On the Notion of Statistical Security in Simulatability Definitions.
ISC
Dennis Hofheinz, Dominique Unruh
2005 — conf
Polynomial Runtime in Simulatability Definitions.
CSFW
Dennis Hofheinz, Jörn Müller-Quade, Dominique Unruh
2005 — conf
Quantum Programs With Classical Output Streams: (Extended Abstract).
QPL
Dominique Unruh
2005 J jnl
Relations amount Statistical Security Notions - or - Why Exponential Adversaries are Unlimited.
IACR Cryptol. ePrint Arch.
Dominique Unruh