Searching for Shapes in Cryptographic Protocols.

Shaddin F. Doghmi, Joshua D. Guttman, F. Javier Thayer

Browse the full TACAS paper archive.