Cryptographic security of reactive systems: (Extended abstract)
- Birgit Pfitzmann
- Matthias Schunter
- et al.
- 2000
- Electronic Notes in Theoretical Computer Science
Publications
Date
Featured collections
Popular topics
34 results for B. Pfitzmann
Cryptographically sound theorem proving
- Christoph Sprenger
- David Basin
- et al.
- 2006
- CSF 2006
Strong Loss Tolerance of Electronic Coin Systems
- Birgit Pfitzmann
- Michael Waidner
- 1997
- ACM Transactions on Computer Systems
Building a cognitive platform for the managed IT services lifecycle
- K. Kloeckner
- Constantin Adam
- et al.
- 2018
- IBM J. Res. Dev
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
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
Symmetric authentication in a simulatable Dolev-Yao-style cryptographic library
- Michael Backes
- Birgit Pfitzmann
- et al.
- 2005
- Int. J. Inf. Secur.