Search the dblp DataBase

Publications of Author

1. Michael Backes, Markus Dürmuth
   A Cryptographically Sound Dolev-Yao Style Security Proof of an Electronic Payment System. [Citation Graph (0, 0)][DBLP]
   CSFW, 2005, pp:78-93 [Conf]
   
2. Michael Backes, Markus Dürmuth, Dennis Hofheinz, Ralf Küsters
   Conditional Reactive Simulatability. [Citation Graph (0, 0)][DBLP]
   ESORICS, 2006, pp:424-443 [Conf]
   
3. Michael Backes, Markus Dürmuth, Rainer Steinwandt
   An Algebra for Composing Enterprise Privacy Policies. [Citation Graph (0, 0)][DBLP]
   ESORICS, 2004, pp:33-52 [Conf]
   
4. Michael Backes, Markus Dürmuth, Günter Karjoth
   Unification in Privacy Policy Evaluation - Translating EPAL into Prolog. [Citation Graph (0, 0)][DBLP]
   POLICY, 2004, pp:185-188 [Conf]
   
5. Michael Backes, Markus Dürmuth, Dominique Unruh
   Information Flow in the Peer-Reviewing Process. [Citation Graph (0, 0)][DBLP]
   IEEE Symposium on Security and Privacy, 2007, pp:187-191 [Conf]
   
6. 
   OAEP Is Secure under Key-Dependent Messages. [Citation Graph (, )][DBLP]
   
   
7. 
   A Provably Secure and Efficient Countermeasure against Timing Attacks. [Citation Graph (, )][DBLP]
   
   
8. 
   Speaker Recognition in Encrypted Voice Streams. [Citation Graph (, )][DBLP]
   
   
9. 
   On Simulatability Soundness and Mapping Soundness of Symbolic Cryptography. [Citation Graph (, )][DBLP]
   
   
10. 
    Compromising Reflections-or-How to Read LCD Monitors around the Corner. [Citation Graph (, )][DBLP]
    
    
11. 
    Tempest in a Teapot: Compromising Reflections Revisited. [Citation Graph (, )][DBLP]