Dominique Unruh

According to our database, Dominique Unruh authored at least 86 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Without Loss of Generality.

Dominique Unruh

Arch. Formal Proofs, 2024

With-Type - Poor man's dependent types.

Dominique Unruh

Arch. Formal Proofs, 2024

2023

Towards compressed permutation oracles.

Dominique Unruh

IACR Cryptol. ePrint Arch., 2023

Schnorr protocol in Jasmin.

Denis Firsov, Tiago Oliveira, Dominique Unruh

IACR Cryptol. ePrint Arch., 2023

Leakage-Free Probabilistic Jasmin Programs.

José Bacelar Almeida, Denis Firsov, Tiago Oliveira, Dominique Unruh

IACR Cryptol. ePrint Arch., 2023

2022

Everlasting UC Commitments from Fully Malicious PUFs.

Bernardo Magri, Giulio Malavolta, Dominique Schröder, Dominique Unruh

J. Cryptol., 2022

Zero-Knowledge in EasyCrypt.

Denis Firsov, Dominique Unruh

IACR Cryptol. ePrint Arch., 2022

How to Base Security on the Perfect/Statistical Binding Property of Quantum Bit Commitment?

Junbin Fang, Dominique Unruh, Jun Yan, Dehua Zhou

Proceedings of the 33rd International Symposium on Algorithms and Computation, 2022

2021

Compressed Permutation Oracles (And the Collision-Resistance of Sponge/SHA3).

Dominique Unruh

IACR Cryptol. ePrint Arch., 2021

Reflection, Rewinding, and Coin-Toss in EasyCrypt.

Denis Firsov, Dominique Unruh

IACR Cryptol. ePrint Arch., 2021

A Thorough Treatment of Highly-Efficient NTRU Instantiations.

Julien Duman, Kathrin Hövelmanns, Eike Kiltz, Vadim Lyubashevsky, Gregor Seiler, Dominique Unruh

IACR Cryptol. ePrint Arch., 2021

Quantum and Classical Registers.

Dominique Unruh

Arch. Formal Proofs, 2021

Complex Bounded Operators.

José Manuel Rodríguez Caballero, Dominique Unruh

Arch. Formal Proofs, 2021

Relationships Between Quantum IND-CPA Notions.

Tore Vincent Carstens, Ehsan Ebrahimi, Gelo Noel Tabia, Dominique Unruh

Proceedings of the Theory of Cryptography - 19th International Conference, 2021

Quantum Relational Hoare Logic with Expectations.

Yangjia Li, Dominique Unruh

Proceedings of the 48th International Colloquium on Automata, Languages, and Programming, 2021

2020

Post-Quantum Verification of Fujisaki-Okamoto.

Dominique Unruh

IACR Cryptol. ePrint Arch., 2020

How to Base Security on the Perfect/Statistical Binding Property of Quantum Bit Commitment?

Junbin Fang, Dominique Unruh, Jian Weng, Jun Yan, Dehua Zhou

IACR Cryptol. ePrint Arch., 2020

On quantum indistinguishability under chosen plaintext attack.

Tore Vincent Carstens, Ehsan Ebrahimi, Gelo Noel Tabia, Dominique Unruh

IACR Cryptol. ePrint Arch., 2020

Local Variables and Quantum Relational Hoare Logic.

Dominique Unruh

CoRR, 2020

Banach-Steinhaus Theorem.

Dominique Unruh, José Manuel Rodríguez Caballero

Arch. Formal Proofs, 2020

2019

Quantum relational Hoare logic.

Dominique Unruh

Proc. ACM Program. Lang., 2019

Quantum Hoare Logic with Ghost Variables.

Dominique Unruh

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

2018

Quantum collision-resistance of non-uniformly distributed functions: upper and lower bounds.

Ehsan Ebrahimi, Dominique Unruh

Quantum Inf. Comput., 2018

Everlasting Multi-party Computation.

Dominique Unruh

J. Cryptol., 2018

On the (Im-)Possibility of Extending Coin Toss.

Dennis Hofheinz, Jörn Müller-Quade, Dominique Unruh

J. Cryptol., 2018

Generic Authenticated Key Exchange in the Quantum Random Oracle Model.

Kathrin Hövelmanns, Eike Kiltz, Sven Schäge, Dominique Unruh

IACR Cryptol. ePrint Arch., 2018

On Quantum Indifferentiability.

Tore Vincent Carstens, Ehsan Ebrahimi, Gelo Noel Tabia, Dominique Unruh

IACR Cryptol. ePrint Arch., 2018

Quantum security proofs using semi-classical oracles.

Andris Ambainis, Mike Hamburg, Dominique Unruh

IACR Cryptol. ePrint Arch., 2018

2017

Security of Blind Signatures Revisited.

Dominique Schröder, Dominique Unruh

J. Cryptol., 2017

Post-Quantum Security of Fiat-Shamir.

Dominique Unruh

IACR Cryptol. ePrint Arch., 2017

Collapsing sponges: Post-quantum security of the sponge construction.

Dominique Unruh

IACR Cryptol. ePrint Arch., 2017

Post-quantum security of the sponge construction.

Jan Czajkowski, Leon Groot Bruinderink, Andreas Hülsing, Christian Schaffner, Dominique Unruh

IACR Cryptol. ePrint Arch., 2017

2016

An adaptive attack on Wiesner's quantum money.

Daniel Nagaj, Or Sattath, Aharon Brodutch, Dominique Unruh

Quantum Inf. Comput., 2016

Symbolic universal composability.

Florian Böhl, Dominique Unruh

J. Comput. Secur., 2016

Collapse-binding quantum commitments without random oracles.

Dominique Unruh

IACR Cryptol. ePrint Arch., 2016

Quantum Collision-Resistance of Non-Uniformly Distributed Functions.

Ehsan Ebrahimi Targhi, Gelo Noel Tabia, Dominique Unruh

IACR Cryptol. ePrint Arch., 2016

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

IACR Cryptol. ePrint Arch., 2016

Post-Quantum Security of the Fujisaki-Okamoto and OAEP Transforms.

Ehsan Ebrahimi Targhi, Dominique Unruh

Proceedings of the Theory of Cryptography - 14th International Conference, 2016

2015

Revocable Quantum Timed-Release Encryption.

Dominique Unruh

J. ACM, 2015

Computationally binding quantum commitments.

Dominique Unruh

IACR Cryptol. ePrint Arch., 2015

Quantum Security of the Fujisaki-Okamoto and OAEP Transforms.

Ehsan Ebrahimi Targhi, Dominique Unruh

IACR Cryptol. ePrint Arch., 2015

2014

Non-interactive zero-knowledge proofs in the quantum random oracle model.

Dominique Unruh

IACR Cryptol. ePrint Arch., 2014

Quantum position verification in the random oracle model.

Dominique Unruh

IACR Cryptol. ePrint Arch., 2014

Quantum Attacks on Classical Proof Systems - The Hardness of Quantum Rewinding.

Andris Ambainis, Ansis Rosmanis, Dominique Unruh

IACR Cryptol. ePrint Arch., 2014

The Synergy Between Programming Languages and Cryptography (Dagstuhl Seminar 14492).

Gilles Barthe, Michael Hicks, Florian Kerschbaum, Dominique Unruh

Dagstuhl Reports, 2014

2013

On using probabilistic Turing machines to model participants in cryptographic protocols.

Lee Klingler, Rainer Steinwandt, Dominique Unruh

Theor. Comput. Sci., 2013

Polynomial Runtime and Composability.

Dennis Hofheinz, Dominique Unruh, Jörn Müller-Quade

J. Cryptol., 2013

2012

Programmable encryption and key-dependent messages.

Dominique Unruh

IACR Cryptol. ePrint Arch., 2012

Everlasting Quantum Security.

Dominique Unruh

IACR Cryptol. ePrint Arch., 2012

Computational Soundness without Protocol Restrictions.

Michael Backes, Ankit Malik, Dominique Unruh

IACR Cryptol. ePrint Arch., 2012

Computational Soundness of Symbolic Zero-knowledge Proofs: Weaker Assumptions and Mechanized Verification.

Michael Backes, Fabian Bendun, Dominique Unruh

IACR Cryptol. ePrint Arch., 2012

2011

Round Optimal Blind Signatures.

Dominique Schröder, Dominique Unruh

IACR Cryptol. ePrint Arch., 2011

Round Optimal Blind Signatures.

Sanjam Garg, Vanishree Rao, Amit Sahai, Dominique Schröder, Dominique Unruh

Proceedings of the Advances in Cryptology - CRYPTO 2011, 2011

2010

Long-Term Security and Universal Composability.

Jörn Müller-Quade, Dominique Unruh

J. Cryptol., 2010

Computational soundness of symbolic zero-knowledge proofs.

Michael Backes, Dominique Unruh

J. Comput. Secur., 2010

Termination-Insensitive Computational Indistinguishability (and applications to computational soundness).

Dominique Unruh

IACR Cryptol. ePrint Arch., 2010

The impossibility of computationally sound XOR.

Dominique Unruh

IACR Cryptol. ePrint Arch., 2010

Concurrent composition in the bounded quantum storage model.

Dominique Unruh

IACR Cryptol. ePrint Arch., 2010

Quantum Proofs of Knowledge.

Dominique Unruh

IACR Cryptol. ePrint Arch., 2010

Computationally Sound Verification of Source Code.

Michael Backes, Matteo Maffei, Dominique Unruh

IACR Cryptol. ePrint Arch., 2010

Universally Composable Quantum Multi-party Computation.

Dominique Unruh

Proceedings of the Advances in Cryptology - EUROCRYPT 2010, 29th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Monaco / French Riviera, May 30, 2010

2009

Polynomial runtime in simulatability definitions.

Dennis Hofheinz, Jörn Müller-Quade, Dominique Unruh

J. Comput. Secur., 2009

Universally Composable Incoercibility.

Dominique Unruh, Jörn Müller-Quade

IACR Cryptol. ePrint Arch., 2009

CoSP: A General Framework For Computational Soundness Proofs.

Michael Backes, Dennis Hofheinz, Dominique Unruh

IACR Cryptol. ePrint Arch., 2009

CSAR: A Practical and Provable Technique to Make Randomized Systems Accountable.

Michael Backes, Peter Druschel, Andreas Haeberlen, Dominique Unruh

Proceedings of the Network and Distributed System Security Symposium, 2009

2008

Compromising Reflections-or-How to Read LCD Monitors around the Corner.

Michael Backes, Markus Dürmuth, Dominique Unruh

Proceedings of the 2008 IEEE Symposium on Security and Privacy (SP 2008), 2008

A Formal Language for Cryptographic Pseudocode.

Michael Backes, Matthias Berg, Dominique Unruh

Proceedings of the Logic for Programming, 2008

Computational Soundness of Symbolic Zero-Knowledge Proofs Against Active Attackers.

Michael Backes, Dominique Unruh

Proceedings of the 21st IEEE Computer Security Foundations Symposium, 2008

Limits of Constructive Security Proofs.

Michael Backes, Dominique Unruh

Proceedings of the Advances in Cryptology, 2008

OAEP Is Secure under Key-Dependent Messages.

Michael Backes, Markus Dürmuth, Dominique Unruh

Proceedings of the Advances in Cryptology, 2008

2007

Random Oracles and Auxiliary Input.

Dominique Unruh

IACR Cryptol. ePrint Arch., 2007

Towards Key-Dependent Message Security in the Standard Model.

Dennis Hofheinz, Dominique Unruh

IACR Cryptol. ePrint Arch., 2007

On the Security of Protocols with Logarithmic Communication Complexity.

Michael Backes, Dominique Unruh

IACR Cryptol. ePrint Arch., 2007

Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol.

Michael Backes, Matteo Maffei, Dominique Unruh

IACR Cryptol. ePrint Arch., 2007

Information Flow in the Peer-Reviewing Process.

Michael Backes, Markus Dürmuth, Dominique Unruh

Proceedings of the 2007 IEEE Symposium on Security and Privacy (S&P 2007), 2007

2006

Quantum programming languages.

Dominique Unruh

Inform. Forsch. Entwickl., 2006

Simulatable Security and Polynomially Bounded Concurrent Composition.

Dennis Hofheinz, Dominique Unruh

IACR Cryptol. ePrint Arch., 2006

On the Necessity of Rewinding in Secure Multiparty Computation.

Michael Backes, Jörn Müller-Quade, Dominique Unruh

IACR Cryptol. ePrint Arch., 2006

Simulatable Security and Polynomially Bounded Concurrent Composability.

Dennis Hofheinz, Dominique Unruh

Proceedings of the 2006 IEEE Symposium on Security and Privacy (S&P 2006), 2006

Protokollkomposition und Komplexität.

Dominique Unruh

Proceedings of the Ausgezeichnete Informatikdissertationen 2006, 2006

Protokollkomposition und Komplexität.

Dominique Unruh

PhD thesis, 2006

2005

Relations amount Statistical Security Notions - or - Why Exponential Adversaries are Unlimited.

Dominique Unruh

IACR Cryptol. ePrint Arch., 2005

On the Notion of Statistical Security in Simulatability Definitions.

Dennis Hofheinz, Dominique Unruh

IACR Cryptol. ePrint Arch., 2005

On Fairness in Simulatability-based Cryptographic Systems.

Michael Backes, Dennis Hofheinz, Jörn Müller-Quade, Dominique Unruh

IACR Cryptol. ePrint Arch., 2005

Quantum Programs With Classical Output Streams: (Extended Abstract).

Dominique Unruh

Proceedings of the 3rd International Workshop on Quantum Programming Languages, 2005

Comparing Two Notions of Simulatability.

Dennis Hofheinz, Dominique Unruh

Proceedings of the Theory of Cryptography, Second Theory of Cryptography Conference, 2005