Relating symbolic and cryptographic secrecy
- Michael Backes
- Birgit Pfitzmann
- 2005
- S&P 2005
Publications
Date
Featured collections
Popular topics
30 results for Michael Backes
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
Intransitive non-interference for cryptographic purposes
- M. Backes
- B. Pfitzmann
- 2003
- S&P 2003
Tailoring the Dolev-Yao abstraction to Web Services realities - A comprehensive wish list
- Michael Backes
- Thomas Groß
- 2005
- CCS 2005
Anonymous yet accountable access control
- Michael Backes
- Jan Camenisch
- et al.
- 2005
- CCS 2005
Relating symbolic and cryptographic secrecy
- Michael Backes
- Birgit Pfitzmann
- 2005
- IEEE TDSC
Public-key steganography with active attacks
- Michael Backes
- Christian Cachin
- 2005
- TCC 2005
Key-dependent message security under active attacks - BRSIM/UC-soundness of symbolic encryption with key cycles -
- Michael Backes
- Birgit Pfitzmann
- et al.
- 2007
- CSF 2007
A cryptographically sound Dolev-Yao style security proof of an electronic payment system
- Michael Backes
- Markus Dürmuth
- 2005
- CSF 2005