Symmetric authentication in a simulatable Dolev-Yao-style cryptographic library
- Michael Backes
- Birgit Pfitzmann
- et al.
- 2005
- Int. J. Inf. Secur.
Paper
Publications
35 results for B. Pfitzmann
Reactively secure signature schemes
- Michael Backes
- Birgit Pfitzmann
- et al.
- 2005
- Int. J. Inf. Secur.
PaperRelating symbolic and cryptographic secrecy
- Michael Backes
- Birgit Pfitzmann
- 2005
- IEEE TDSC
PaperSymmetric encryption in a simulatable Dolev-Yao style cryptographic library
- Michael Backes
- Birgit Pfitzmann
- 2004
- CSFW 2004
Conference paperPolynomial liveness
- Michael Backes
- Birgit Pfitzmann
- et al.
- 2004
- Journal of Computer Security
PaperRelating cryptography and formal methods: A panel
- Michael Backes
- Birgit Pfitzmann
- et al.
- 2003
- FMSE 2003
Conference paperAnalysis of Liberty Single-Sign-on with Enabled Clients
- Birgit Pfitzman
- Michael Waidner
- 2003
- IEEE Internet Computing
PaperA composable cryptographic library with nested operations
- Michael Backes
- Birgit Pfitzmann
- et al.
- 2003
- CCS 2003
Conference paperIntransitive non-interference for cryptographic purposes
- Michael Backes
- Birgit Pfitzmann
- 2003
- S&P 2003
Conference paperIntransitive non-interference for cryptographic purposes
- M. Backes
- B. Pfitzmann
- 2003
- S&P 2003
Conference paper