Dominique Unruh

ORCID

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 55

Top Venues

IACR Cryptol. ePrint Arch.

CoRR

J. Cryptol.

Arch. Formal Proofs

Karlsruhe Institute of Technology, Germany (PHD)

Education History

Karlsruhe Institute of Technology, Germany

PHD

Publications

Denis Firsov, Dominique Unruh
Zero-Knowledge in EasyCrypt. CSF (2023)
Julien Duman, Kathrin Hövelmanns, Eike Kiltz, Vadim Lyubashevsky, Gregor Seiler, Dominique Unruh
A Thorough Treatment of Highly-Efficient NTRU Instantiations. Public Key Cryptography (1) (2023)
Dominique Unruh
Towards Compressed Permutation Oracles. ASIACRYPT (4) (2023)
José Bacelar Almeida, Denis Firsov, Tiago Oliveira, Dominique Unruh
Leakage-Free Probabilistic Jasmin Programs. IACR Cryptol. ePrint Arch. 2023 (2023)
Denis Firsov, Tiago Oliveira, Dominique Unruh
Schnorr protocol in Jasmin. IACR Cryptol. ePrint Arch. 2023 (2023)
Dominique Unruh
Towards compressed permutation oracles. IACR Cryptol. ePrint Arch. 2023 (2023)
Junbin Fang, Dominique Unruh, Jun Yan, Dehua Zhou
How to Base Security on the Perfect/Statistical Binding Property of Quantum Bit Commitment? ISAAC (2022)
Denis Firsov, Dominique Unruh
Zero-Knowledge in EasyCrypt. IACR Cryptol. ePrint Arch. 2022 (2022)
Denis Firsov, Dominique Unruh
Reflection, rewinding, and coin-toss in EasyCrypt. CPP (2022)
Bernardo Magri, Giulio Malavolta, Dominique Schröder, Dominique Unruh
Everlasting UC Commitments from Fully Malicious PUFs. J. Cryptol. 35 (3) (2022)
Dominique Unruh
Quantum and Classical Registers. Arch. Formal Proofs 2021 (2021)
José Manuel Rodríguez Caballero, Dominique Unruh
Complex Bounded Operators. Arch. Formal Proofs 2021 (2021)
Tore Vincent Carstens, Ehsan Ebrahimi, Gelo Noel Tabia, Dominique Unruh
Relationships Between Quantum IND-CPA Notions. TCC (1) (2021)
Dominique Unruh
Compressed Permutation Oracles (And the Collision-Resistance of Sponge/SHA3). IACR Cryptol. ePrint Arch. 2021 (2021)
Julien Duman, Kathrin Hövelmanns, Eike Kiltz, Vadim Lyubashevsky, Gregor Seiler, Dominique Unruh
A Thorough Treatment of Highly-Efficient NTRU Instantiations. IACR Cryptol. ePrint Arch. 2021 (2021)
Dominique Unruh
Quantum and classical registers. CoRR (2021)
Bernardo Magri, Giulio Malavolta, Dominique Schröder, Dominique Unruh
Everlasting UC Commitments from Fully Malicious PUFs. IACR Cryptol. ePrint Arch. 2021 (2021)
Yangjia Li, Dominique Unruh
Quantum Relational Hoare Logic with Expectations. ICALP (2021)
Denis Firsov, Dominique Unruh
Reflection, Rewinding, and Coin-Toss in EasyCrypt. IACR Cryptol. ePrint Arch. 2021 (2021)
Dominique Unruh
Local Variables and Quantum Relational Hoare Logic. CoRR (2020)
Junbin Fang, Dominique Unruh, Jian Weng, Jun Yan, Dehua Zhou
How to Base Security on the Perfect/Statistical Binding Property of Quantum Bit Commitment? IACR Cryptol. ePrint Arch. 2020 (2020)
Tore Vincent Carstens, Ehsan Ebrahimi, Gelo Noel Tabia, Dominique Unruh
On quantum indistinguishability under chosen plaintext attack. IACR Cryptol. ePrint Arch. 2020 (2020)
Dominique Unruh
Post-Quantum Verification of Fujisaki-Okamoto. ASIACRYPT (1) (2020)
Kathrin Hövelmanns, Eike Kiltz, Sven Schäge, Dominique Unruh
Generic Authenticated Key Exchange in the Quantum Random Oracle Model. Public Key Cryptography (2) (2020)
Dominique Unruh
Post-Quantum Verification of Fujisaki-Okamoto. IACR Cryptol. ePrint Arch. 2020 (2020)
Dominique Unruh, José Manuel Rodríguez Caballero
Banach-Steinhaus Theorem. Arch. Formal Proofs 2020 (2020)
Yangjia Li, Dominique Unruh
Quantum Relational Hoare Logic with Expectations. CoRR (2019)
Dominique Unruh
Quantum Hoare Logic with Ghost Variables. LICS (2019)
Andris Ambainis, Mike Hamburg, Dominique Unruh
Quantum Security Proofs Using Semi-classical Oracles. CRYPTO (2) (2019)
Dominique Unruh
Quantum relational Hoare logic. Proc. ACM Program. Lang. 3 (POPL) (2019)
Dominique Unruh
Quantum Hoare Logic with Ghost Variables. CoRR (2019)
Dominique Unruh
Everlasting Multi-party Computation. J. Cryptol. 31 (4) (2018)
Jan Czajkowski, Leon Groot Bruinderink, Andreas Hülsing, Christian Schaffner, Dominique Unruh
Post-quantum Security of the Sponge Construction. PQCrypto (2018)
Dennis Hofheinz, Jörn Müller-Quade, Dominique Unruh
On the (Im-)Possibility of Extending Coin Toss. J. Cryptol. 31 (4) (2018)
Kathrin Hövelmanns, Eike Kiltz, Sven Schäge, Dominique Unruh
Generic Authenticated Key Exchange in the Quantum Random Oracle Model. IACR Cryptol. ePrint Arch. 2018 (2018)
Andris Ambainis, Mike Hamburg, Dominique Unruh
Quantum security proofs using semi-classical oracles. IACR Cryptol. ePrint Arch. 2018 (2018)
Tore Vincent Carstens, Ehsan Ebrahimi, Gelo Noel Tabia, Dominique Unruh
On Quantum Indifferentiability. IACR Cryptol. ePrint Arch. 2018 (2018)
Ehsan Ebrahimi, Dominique Unruh
Quantum collision-resistance of non-uniformly distributed functions: upper and lower bounds. Quantum Inf. Comput. 18 (15&16) (2018)
Dominique Unruh
Quantum Relational Hoare Logic. CoRR (2018)
Ehsan Ebrahimi Targhi, Dominique Unruh
Quantum Collision-Resistance of Non-uniformly Distributed Functions: Upper and Lower Bounds. IACR Cryptol. ePrint Arch. 2017 (2017)
Dominique Schröder, Dominique Unruh
Security of Blind Signatures Revisited. J. Cryptol. 30 (2) (2017)
Dominique Unruh
Collapsing sponges: Post-quantum security of the sponge construction. IACR Cryptol. ePrint Arch. 2017 (2017)
Jan Czajkowski, Leon Groot Bruinderink, Andreas Hülsing, Christian Schaffner, Dominique Unruh
Post-quantum security of the sponge construction. IACR Cryptol. ePrint Arch. 2017 (2017)
Dominique Unruh
Post-Quantum Security of Fiat-Shamir. IACR Cryptol. ePrint Arch. 2017 (2017)
Dominique Unruh
Post-quantum Security of Fiat-Shamir. ASIACRYPT (1) (2017)
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. IACR Cryptol. ePrint Arch. 2016 (2016)
Dominique Unruh
Computationally Binding Quantum Commitments. EUROCRYPT (2) (2016)
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. PQCrypto (2016)
Ehsan Ebrahimi Targhi, Dominique Unruh
Post-Quantum Security of the Fujisaki-Okamoto and OAEP Transforms. TCC (B2) (2016)
Ehsan Ebrahimi Targhi, Gelo Noel Tabia, Dominique Unruh
Quantum Collision-Resistance of Non-Uniformly Distributed Functions. IACR Cryptol. ePrint Arch. 2016 (2016)
Ehsan Ebrahimi Targhi, Gelo Noel Tabia, Dominique Unruh
Quantum Collision-Resistance of Non-uniformly Distributed Functions. PQCrypto (2016)
Dominique Unruh
Collapse-binding quantum commitments without random oracles. IACR Cryptol. ePrint Arch. 2016 (2016)
Dominique Unruh
Collapse-Binding Quantum Commitments Without Random Oracles. ASIACRYPT (2) (2016)
Florian Böhl, Dominique Unruh
Symbolic universal composability. J. Comput. Secur. 24 (1) (2016)
Daniel Nagaj, Or Sattath, Aharon Brodutch, Dominique Unruh
An adaptive attack on Wiesner's quantum money. Quantum Inf. Comput. 16 (11&12) (2016)
Dominique Unruh
Revocable Quantum Timed-Release Encryption. J. ACM 62 (6) (2015)
Dominique Unruh
Non-Interactive Zero-Knowledge Proofs in the Quantum Random Oracle Model. EUROCRYPT (2) (2015)
Ehsan Ebrahimi Targhi, Dominique Unruh
Quantum Security of the Fujisaki-Okamoto and OAEP Transforms. IACR Cryptol. ePrint Arch. 2015 (2015)
Dominique Unruh
Computationally binding quantum commitments. IACR Cryptol. ePrint Arch. 2015 (2015)
Andris Ambainis, Ansis Rosmanis, Dominique Unruh
Quantum Attacks on Classical Proof Systems: The Hardness of Quantum Rewinding. FOCS (2014)
Dominique Unruh
Non-interactive zero-knowledge proofs in the quantum random oracle model. IACR Cryptol. ePrint Arch. 2014 (2014)
Andris Ambainis, Ansis Rosmanis, Dominique Unruh
Quantum Attacks on Classical Proof Systems - The Hardness of Quantum Rewinding. IACR Cryptol. ePrint Arch. 2014 (2014)
Dominique Unruh
Quantum position verification in the random oracle model. IACR Cryptol. ePrint Arch. 2014 (2014)
Dominique Unruh
Revocable Quantum Timed-Release Encryption. EUROCRYPT (2014)
Gilles Barthe, Michael Hicks, Florian Kerschbaum, Dominique Unruh
The Synergy Between Programming Languages and Cryptography (Dagstuhl Seminar 14492). Dagstuhl Reports 4 (12) (2014)
Aharon Brodutch, Daniel Nagaj, Or Sattath, Dominique Unruh
An adaptive attack on Wiesner's quantum money. CoRR (2014)
Dominique Unruh
Quantum Position Verification in the Random Oracle Model. CRYPTO (2) (2014)
Andris Ambainis, Ansis Rosmanis, Dominique Unruh
Quantum Attacks on Classical Proof Systems - The Hardness of Quantum Rewinding. CoRR (2014)
Florian Böhl, Dominique Unruh
Symbolic Universal Composability. CSF (2013)
Dominique Unruh
Everlasting Multi-party Computation. CRYPTO (2) (2013)
Michael Backes, Fabian Bendun, Dominique Unruh
Computational Soundness of Symbolic Zero-Knowledge Proofs: Weaker Assumptions and Mechanized Verification. POST (2013)
Florian Böhl, Dominique Unruh
Symbolic Universal Composability. IACR Cryptol. ePrint Arch. 2013 (2013)
Dennis Hofheinz, Dominique Unruh, Jörn Müller-Quade
Polynomial Runtime and Composability. J. Cryptol. 26 (3) (2013)
Dominique Unruh
Revocable quantum timed-release encryption. IACR Cryptol. ePrint Arch. 2013 (2013)
Lee Klingler, Rainer Steinwandt, Dominique Unruh
On using probabilistic Turing machines to model participants in cryptographic protocols. Theor. Comput. Sci. 501 (2013)
Dominique Schröder, Dominique Unruh
Security of Blind Signatures Revisited. Public Key Cryptography (2012)
Dominique Unruh
Everlasting Quantum Security. IACR Cryptol. ePrint Arch. 2012 (2012)
Michael Backes, Ankit Malik, Dominique Unruh
Computational soundness without protocol restrictions. CCS (2012)
Michael Backes, Ankit Malik, Dominique Unruh
Computational Soundness without Protocol Restrictions. IACR Cryptol. ePrint Arch. 2012 (2012)
Dominique Unruh
Programmable encryption and key-dependent messages. IACR Cryptol. ePrint Arch. 2012 (2012)
Dominique Unruh
Quantum Proofs of Knowledge. EUROCRYPT (2012)
Michael Backes, Fabian Bendun, Dominique Unruh
Computational Soundness of Symbolic Zero-knowledge Proofs: Weaker Assumptions and Mechanized Verification. IACR Cryptol. ePrint Arch. 2012 (2012)
Dominique Schröder, Dominique Unruh
Security of Blind Signatures Revisited. IACR Cryptol. ePrint Arch. 2011 (2011)
Dominique Schröder, Dominique Unruh
Round Optimal Blind Signatures. IACR Cryptol. ePrint Arch. 2011 (2011)
Dominique Unruh
Concurrent Composition in the Bounded Quantum Storage Model. EUROCRYPT (2011)
Sanjam Garg, Vanishree Rao, Amit Sahai, Dominique Schröder, Dominique Unruh
Round Optimal Blind Signatures. CRYPTO (2011)
Dominique Unruh
Termination-Insensitive Computational Indistinguishability (and Applications to Computational Soundness). CSF (2011)
Dominique Unruh
Universally Composable Quantum Multi-party Computation. EUROCRYPT (2010)
Dominique Unruh
Termination-Insensitive Computational Indistinguishability (and applications to computational soundness). IACR Cryptol. ePrint Arch. 2010 (2010)
Michael Backes, Matteo Maffei, Dominique Unruh
Computationally Sound Verification of Source Code. IACR Cryptol. ePrint Arch. 2010 (2010)
Michael Backes, Dominique Unruh
Computational soundness of symbolic zero-knowledge proofs. J. Comput. Secur. 18 (6) (2010)
Dominique Unruh
The impossibility of computationally sound XOR. IACR Cryptol. ePrint Arch. 2010 (2010)
Dominique Unruh
Concurrent composition in the bounded quantum storage model. IACR Cryptol. ePrint Arch. 2010 (2010)
Dominique Unruh, Jörn Müller-Quade
Universally Composable Incoercibility. CRYPTO (2010)
Jörn Müller-Quade, Dominique Unruh
Long-Term Security and Universal Composability. J. Cryptol. 23 (4) (2010)
Dominique Unruh
Quantum Proofs of Knowledge. IACR Cryptol. ePrint Arch. 2010 (2010)
Michael Backes, Matteo Maffei, Dominique Unruh
Computationally sound verification of source code. CCS (2010)
Michael Backes, Peter Druschel, Andreas Haeberlen, Dominique Unruh
CSAR: A Practical and Provable Technique to Make Randomized Systems Accountable. NDSS (2009)
Michael Backes, Dennis Hofheinz, Dominique Unruh
CoSP: a general framework for computational soundness proofs. CCS (2009)
Dominique Unruh, Jörn Müller-Quade
Universally Composable Incoercibility. IACR Cryptol. ePrint Arch. 2009 (2009)

Dominique Unruh.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Dominique Unruh