Symmetric authentication in a simulatable Dolev-Yao-style cryptographic library
- Michael Backes
- Birgit Pfitzmann
- et al.
- 2005
- Int. J. Inf. Secur.
Publications
Date
Featured collections
Popular topics
35 results for B. Pfitzmann
Reactively secure signature schemes
- Michael Backes
- Birgit Pfitzmann
- et al.
- 2005
- Int. J. Inf. Secur.
Relating symbolic and cryptographic secrecy
- Michael Backes
- Birgit Pfitzmann
- 2005
- IEEE TDSC
Symmetric encryption in a simulatable Dolev-Yao style cryptographic library
- Michael Backes
- Birgit Pfitzmann
- 2004
- CSFW 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
Analysis of Liberty Single-Sign-on with Enabled Clients
- Birgit Pfitzman
- Michael Waidner
- 2003
- IEEE Internet Computing
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