Search filters

List of works by Dominique Unruh

A Formal Language for Cryptographic Pseudocode

scientific article published in 2008

A Thorough Treatment of Highly-Efficient NTRU Instantiations

CoSP

scientific article published in 2009

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

scientific article published in May 2008

Computational Soundness of Symbolic Zero-Knowledge Proofs Against Active Attackers

scientific article published in 2008

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

scientific article published in 2013

Computational soundness of symbolic zero-knowledge proofs*

scientific article published on 20 September 2010

Computational soundness without protocol restrictions

scientific article published in 2012

Computationally sound verification of source code

scientific article published in 2010

Concurrent Composition in the Bounded Quantum Storage Model

scientific article published in 2011

Everlasting Multi-party Computation

scientific article published in 2013

Information Flow in the Peer-Reviewing Process

scientific article published in May 2007

Limits of Constructive Security Proofs

scientific article published in 2008

Long-Term Security and Universal Composability

scientific article published on 28 May 2010

OAEP Is Secure under Key-Dependent Messages

scientific article published in 2008

On fairness in simulatability-based cryptographic systems

scientific article published in 2005

On the (Im-)Possibility of Extending Coin Toss

scientific article published in 2006

On using probabilistic Turing machines to model participants in cryptographic protocols

scientific article published in August 2013

Polynomial Runtime and Composability

scientific article published on 17 August 2012

Polynomial runtime in simulatability definitions*

scientific article published on 12 October 2009

Post-quantum Security of the Sponge Construction

Quantum Attacks on Classical Proof Systems: The Hardness of Quantum Rewinding

Quantum Position Verification in the Random Oracle Model

article

Quantum Programs With Classical Output Streams

scientific article published in March 2007

Quantum Proofs of Knowledge

scientific article published in 2012

Revocable Quantum Timed-Release Encryption

scientific article published in 2014

Round Optimal Blind Signatures

scientific article published in 2011

Security of Blind Signatures Revisited

scientific article published in 2012

Simulatable security and polynomially bounded concurrent composability

scientific article published in 2006

Symbolic Universal Composability

scientific article published in June 2013

Termination-Insensitive Computational Indistinguishability (and Applications to Computational Soundness)

scientific article published in June 2011

Towards Key-Dependent Message Security in the Standard Model

scholarly article

Universally Composable Incoercibility

scientific article published in 2010

Universally Composable Quantum Multi-party Computation

scientific article published in 2010

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

scientific article published in May 2008