Proof Techniques for Cryptographic Protocols.

Kevin J. Compton, Scott D. Dexter

Browse the full ICALP paper archive.