Publications

This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.

Date

Start

End

Featured collections

Popular topics

34 results for B. Pfitzmann

Relating symbolic and cryptographic secrecy
- - Michael Backes
  - Birgit Pfitzmann
- 2005
- S&P 2005
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