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 Mon Sep 16 05:24:42 2024 CEST.