Unification in privacy policy evaluation - Translating EPAL into prolog
- Michael Backes
- Markus Dürmutht
- et al.
- 2004
- IEEE POLICY 2004
Publications
Date
Featured collections
Popular topics
31 results for Michael Backes
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
Relating cryptography and formal methods: A panel
- Michael Backes
- Birgit Pfitzmann
- et al.
- 2003
- FMSE 2003
Reliable Broadcast in a Computational Hybrid Model with Byzantine Faults, Crashes, and Recoveries
- Michael Backes
- Christian Cachin
- 2003
- DSN 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