 | 2009 |
|---|
| 21 |       | Michael Backes,
Peter Druschel,
Andreas Haeberlen,
Dominique Unruh:
CSAR: A Practical and Provable Technique to Make Randomized Systems Accountable.
NDSS 2009 |
| 2008 |
|---|
| 20 | | Michael Backes,
Dominique Unruh:
Limits of Constructive Security Proofs.
ASIACRYPT 2008: 290-307 |
| 19 | | Michael Backes,
Markus Dürmuth,
Dominique Unruh:
OAEP Is Secure under Key-Dependent Messages.
ASIACRYPT 2008: 506-523 |
| 18 | | Michael Backes,
Dominique Unruh:
Computational Soundness of Symbolic Zero-Knowledge Proofs Against Active Attackers.
CSF 2008: 255-269 |
| 17 | | Dennis Hofheinz,
Dominique Unruh:
Towards Key-Dependent Message Security in the Standard Model.
EUROCRYPT 2008: 108-126 |
| 16 | | Michael Backes,
Markus Dürmuth,
Dominique Unruh:
Compromising Reflections-or-How to Read LCD Monitors around the Corner.
IEEE Symposium on Security and Privacy 2008: 158-169 |
| 15 | | Michael Backes,
Matteo Maffei,
Dominique Unruh:
Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol.
IEEE Symposium on Security and Privacy 2008: 202-215 |
| 14 | | Michael Backes,
Matthias Berg,
Dominique Unruh:
A Formal Language for Cryptographic Pseudocode.
LPAR 2008: 353-376 |
| 2007 |
|---|
| 13 | | Dominique Unruh:
Random Oracles and Auxiliary Input.
CRYPTO 2007: 205-223 |
| 12 | | Michael Backes,
Matteo Maffei,
Dominique Unruh:
Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol.
Formal Protocol Verification Applied 2007 |
| 11 | | Michael Backes,
Markus Dürmuth,
Dominique Unruh:
Information Flow in the Peer-Reviewing Process.
IEEE Symposium on Security and Privacy 2007: 187-191 |
| 10 | | Michael Backes,
Jörn Müller-Quade,
Dominique Unruh:
On the Necessity of Rewinding in Secure Multiparty Computation.
TCC 2007: 157-173 |
| 9 | | Jörn Müller-Quade,
Dominique Unruh:
Long-Term Security and Universal Composability.
TCC 2007: 41-60 |
| 8 | | Dominique Unruh:
Quantum Programs With Classical Output Streams: (Extended Abstract).
Electr. Notes Theor. Comput. Sci. 170: 165-184 (2007) |
| 2006 |
|---|
| 7 | | Dennis Hofheinz,
Jörn Müller-Quade,
Dominique Unruh:
On the (Im-)Possibility of Extending Coin Toss.
EUROCRYPT 2006: 504-521 |
| 6 | | Dennis Hofheinz,
Dominique Unruh:
Simulatable Security and Polynomially Bounded Concurrent Composability.
IEEE Symposium on Security and Privacy 2006: 169-183 |
| 5 | | Dominique Unruh:
Quantum programming languages.
Inform., Forsch. Entwickl. 21(1-2): 55-63 (2006) |
| 2005 |
|---|
| 4 | | Dennis Hofheinz,
Jörn Müller-Quade,
Dominique Unruh:
Polynomial Runtime in Simulatability Definitions.
CSFW 2005: 156-169 |
| 3 | | Michael Backes,
Dennis Hofheinz,
Jörn Müller-Quade,
Dominique Unruh:
On fairness in simulatability-based cryptographic systems.
FMSE 2005: 13-22 |
| 2 | | Dennis Hofheinz,
Dominique Unruh:
On the Notion of Statistical Security in Simulatability Definitions.
ISC 2005: 118-133 |
| 1 | | Dennis Hofheinz,
Dominique Unruh:
Comparing Two Notions of Simulatability.
TCC 2005: 86-103 |
