Publications

31 results for Michael Backes

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
Polynomial liveness
- - Michael Backes
  - Birgit Pfitzmann
  - et al.
- 2004
- Journal of Computer Security
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
A composable cryptographic library with nested operations
- - Michael Backes
  - Birgit Pfitzmann
  - et al.
- 2003
- CCS 2003
Intransitive non-interference for cryptographic purposes
- - Michael Backes
  - Birgit Pfitzmann
- 2003
- S&P 2003
Proactive Secure Message Transmission in Asynchronous Networks
- - Michael Backes
  - Christian Cachin
  - et al.
- 2003
- PODC 2003
Intransitive non-interference for cryptographic purposes
- - M. Backes
  - B. Pfitzmann
- 2003
- S&P 2003