Compositional analysis of contract signing protocols
- Michael Backes
- Anupam Datta
- et al.
- 2005
- CSF 2005
Publications
Date
Featured collections
Popular topics
30 results for Michael Backes
On fairness in simolatability-based cryptographic systems
- Michael Backes
- Dennis Hofheinz
- et al.
- 2005
- FMSE 2005
Lazy revocation in cryptographic file systems
- Michael Backes
- Christian Cachin
- et al.
- 2005
- SISW 2005
Unification in privacy policy evaluation - Translating EPAL into prolog
- Michael Backes
- Markus Dürmutht
- et al.
- 2004
- IEEE POLICY 2004
Symmetric encryption in a simulatable Dolev-Yao style cryptographic library
- Michael Backes
- Birgit Pfitzmann
- 2004
- CSFW 2004
Efficient comparison of enterprise privacy policies
- Michael Backes
- Günter Karjoth
- et al.
- 2004
- SAC 2004
Reliable Broadcast in a Computational Hybrid Model with Byzantine Faults, Crashes, and Recoveries
- Michael Backes
- Christian Cachin
- 2003
- DSN 2003
Relating cryptography and formal methods: A panel
- Michael Backes
- Birgit Pfitzmann
- et al.
- 2003
- FMSE 2003
Proactive Secure Message Transmission in Asynchronous Networks
- Michael Backes
- Christian Cachin
- et al.
- 2003
- PODC 2003
Polynomial fairness and liveness
- M. Backes
- B. Pfitzmann
- et al.
- 2002
- CSFW 2002