Number of items: 2.
Conference or Workshop Item (A Paper)
Sprenger, Christoph and Backes, Michael and Basin, David and Pfitzmann, Birgit and Waidner, Michael
(2006)
Cryptographically Sound Theorem Proving.
Article
Thanh Nguyen, Binh and Sprenger, Christoph and Cremers, Cas
(2018)
Abstractions for security protocol verification.
Journal of Computer Security.
(In Press)
This list was generated on Thu Jan 30 06:43:29 2025 CET.