Runtime monitoring of metric first-order temporal properties
- David Basin
- Felix Klaedtke
- et al.
- 2008
- FSTTCS 2008
Publications
Date
Featured collections
Popular topics
35 results for B. Pfitzmann
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
How to Break Fraud-Detectable Key Recovery
- Birgit Pfitzmann
- Michael Waidner
- 2008
- EuroSys 2008
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
Limits of the BRSIM/UC soundness of Dolev-Yao-style XOR
- Michael Backes
- Birgit Pfitzmann
- 2007
- Int. J. Inf. Secur.
Optimized enterprise risk management
- Carl E. Abrams
- Juerg von Känel
- et al.
- 2007
- IBM Systems Journal
The reactive simulatability (RSIM) framework for asynchronous systems
- Michael Backes
- Birgit Pfitzmann
- et al.
- 2007
- Information and Computation
Cryptographically sound theorem proving
- Christoph Sprenger
- David Basin
- et al.
- 2006
- CSF 2006
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
- S&P 2005