iKP - A family of secure electronic payment protocols
- Mihir Bellare
- Juan A. Garay
- et al.
- 1995
- USENIX EC 1995
Publications
Date
Featured collections
Popular topics
28 results for Michael Waidner
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
How to Break Fraud-Detectable Key Recovery
- Birgit Pfitzmann
- Michael Waidner
- 2008
- EuroSys 2008
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.
Reactively secure signature schemes
- Michael Backes
- Birgit Pfitzmann
- et al.
- 2005
- Int. J. Inf. Secur.
Privacy-Enhancing Identity Management
- Marit Hansen
- Peter Berlich
- et al.
- 2004
- Information Security Technical Report
Polynomial liveness
- Michael Backes
- Birgit Pfitzmann
- et al.
- 2004
- Journal of Computer Security
Analysis of Liberty Single-Sign-on with Enabled Clients
- Birgit Pfitzman
- Michael Waidner
- 2003
- IEEE Internet Computing