Cryptographically Sound Theorem Proving

Christoph Sprenger, Michael Backes , David Basin, Birgit Pfitzmann, Michael Waidner

Proceedings of 19th IEEE Computer Security Foundations Workshop (CSFW), pp. 153-166, 2006.

( BibTeX )