| 2008 |
|---|
| 9 | EE | Michael Backes,
Markus Dürmuth,
Dominique Unruh:
OAEP Is Secure under Key-Dependent Messages.
ASIACRYPT 2008: 506-523 |
| 8 | EE | 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 |
| 7 | EE | Michael Backes,
Markus Dürmuth,
Dennis Hofheinz,
Ralf Küsters:
Conditional reactive simulatability.
Int. J. Inf. Sec. 7(2): 155-169 (2008) |
| 2007 |
|---|
| 6 | EE | Michael Backes,
Markus Dürmuth,
Ralf Küsters:
On Simulatability Soundness and Mapping Soundness of Symbolic Cryptography.
FSTTCS 2007: 108-120 |
| 5 | EE | Michael Backes,
Markus Dürmuth,
Dominique Unruh:
Information Flow in the Peer-Reviewing Process.
IEEE Symposium on Security and Privacy 2007: 187-191 |
| 2006 |
|---|
| 4 | EE | Michael Backes,
Markus Dürmuth,
Dennis Hofheinz,
Ralf Küsters:
Conditional Reactive Simulatability.
ESORICS 2006: 424-443 |
| 2005 |
|---|
| 3 | EE | Michael Backes,
Markus Dürmuth:
A Cryptographically Sound Dolev-Yao Style Security Proof of an Electronic Payment System.
CSFW 2005: 78-93 |
| 2004 |
|---|
| 2 | EE | Michael Backes,
Markus Dürmuth,
Rainer Steinwandt:
An Algebra for Composing Enterprise Privacy Policies.
ESORICS 2004: 33-52 |
| 1 | EE | Michael Backes,
Markus Dürmuth,
Günter Karjoth:
Unification in Privacy Policy Evaluation - Translating EPAL into Prolog.
POLICY 2004: 185-188 |
