Relating symbolic and cryptographic secrecy
- Michael Backes
- Birgit Pfitzmann
- 2005
- S&P 2005
Publications
Date
Featured collections
Popular topics
34 results for B. Pfitzmann
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
Proving a WS-Federation passive requestor profile with a browser model
- Thomas Groß
- Birgit Pfitzmann
- et al.
- 2005
- CCS 2005
Relating symbolic and cryptographic secrecy
- Michael Backes
- Birgit Pfitzmann
- 2005
- IEEE TDSC
DocLayNet: A Large Human-Annotated Dataset for Document-Layout Segmentation
- Birgit Pfitzmann
- Christoph Auer
- et al.
- 2022
- KDD 2022
Proving a WS-Federation passive requestor profile
- Thomas R. Gross
- B. Pfitzmann
- 2015
- SWS 2015
Migration to multi-image cloud templates
- Birgit Pfitzmann
- Nikolai Joukov
- 2011
- SCC 2011
Static discovery and remediation of code-embedded resource dependencies
- Nikolai Joukov
- Vasily Tarasov
- et al.
- 2011
- IM 2011