Publications

35 results for B. Pfitzmann

Runtime monitoring of metric first-order temporal properties
- - David Basin
  - Felix Klaedtke
  - et al.
- 2008
- FSTTCS 2008
Conference paper
Key-dependent message security under active attacks - BRSIM/UC-soundness of Dolev-Yao-style encryption with key cycles
- - Michael Backes
  - Birgit Pfitzmann
  - et al.
- 2008
- Journal of Computer Security
Paper
How to Break Fraud-Detectable Key Recovery
- - Birgit Pfitzmann
  - Michael Waidner
- 2008
- EuroSys 2008
Paper
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
Conference paper
Limits of the BRSIM/UC soundness of Dolev-Yao-style XOR
- - Michael Backes
  - Birgit Pfitzmann
- 2007
- Int. J. Inf. Secur.
Paper
Optimized enterprise risk management
- - Carl E. Abrams
  - Juerg von Känel
  - et al.
- 2007
- IBM Systems Journal
Paper
The reactive simulatability (RSIM) framework for asynchronous systems
- - Michael Backes
  - Birgit Pfitzmann
  - et al.
- 2007
- Information and Computation
Paper
Cryptographically sound theorem proving
- - Christoph Sprenger
  - David Basin
  - et al.
- 2006
- CSF 2006
Workshop paper
Proving a WS-Federation passive requestor profile with a browser model
- - Thomas Groß
  - Birgit Pfitzmann
  - et al.
- 2005
- CCS 2005
Workshop paper
Relating symbolic and cryptographic secrecy
- - Michael Backes
  - Birgit Pfitzmann
- 2005
- S&P 2005
Conference paper