Search
International Association for Cryptologic Research
What's new
Archive
Best Papers
Videos
Authors
Coauthors
By year
By conference
All Committees
Most Committees
Report errors
Maps
About
Dominique Unruh
Search web for home page
Program Committees
1
2012
Crypto
pc
2
2011
TCC
pc
Publications
year
title
booktitle
pages
1
2012
Security of Blind Signatures Revisited
pkc
662-679
2
2012
Quantum Proofs of Knowledge
eurocrypt
135-152
3
2011
Round Optimal Blind Signatures in the Standard Model
crypto
627
4
2011
Concurrent composition in the bounded quantum storage model
eurocrypt
467
5
2010
Computationally Sound Verification of Source Code
eprint
online
6
2010
Quantum Proofs of Knowledge
eprint
online
7
2010
Concurrent composition in the bounded quantum storage model
eprint
online
8
2010
Universally Composable Incoercibility
crypto
411-428
9
2010
Long-Term Security and Universal Composability
jofc
594-671
10
2010
Universally Composable Quantum Multi-party Computation
eurocrypt
486-505
11
2010
The impossibility of computationally sound XOR
eprint
online
12
2009
A general framework for computational soundness proofs - or - The computational soundness of the applied pi-calculus
eprint
online
13
2009
Polynomial Runtime and Composability
eprint
online
14
2008
OAEP Is Secure under Key-Dependent Messages
asiacrypt
506-523
15
2008
Limits of Constructive Security Proofs
asiacrypt
290-307
16
2008
Computational Soundness of Symbolic Zero-Knowledge Proofs Against Active Attackers
eprint
online
17
2008
Towards Key-Dependent Message Security in the Standard Model
eurocrypt
108-126
18
2007
Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol
eprint
online
19
2007
Towards Key-Dependent Message Security in the Standard Model
eprint
online
20
2007
On the Necessity of Rewinding in Secure Multiparty Computation
tcc
157-173
21
2007
Long-Term Security and Universal Composability
tcc
41-60
22
2007
Random Oracles and Auxiliary Input
crypto
205-223
23
2007
Random Oracles and Auxiliary Input
eprint
online
24
2007
On the Security of Protocols with Logarithmic Communication Complexity
eprint
online
25
2006
On the Necessity of Rewinding in Secure Multiparty Computation
eprint
online
26
2006
Simulatable Security and Polynomially Bounded Concurrent Composition
eprint
online
27
2006
Long-term Security and Universal Composability
eprint
online
28
2006
On the (Im-)Possibility of Extending Coin Toss
eprint
online
29
2006
On the (Im-)Possibility of Extending Coin Toss
eurocrypt
online
30
2005
On the Notion of Statistical Security in Simulatability Definitions
eprint
online
31
2005
On Fairness in Simulatability-based Cryptographic Systems
eprint
online
32
2005
Comparing Two Notions of Simulatability
tcc
online
33
2005
Relations amount Statistical Security Notions - or - Why Exponential Adversaries are Unlimited
eprint
online
Coauthors of Dominique Unruh
Michael Backes
Markus Dürmuth
Sanjam Garg
Dennis Hofheinz
Matteo Maffei
Jörn Müller-Quade
Vanishree Rao
Amit Sahai
Dominique Schröder