A Framework for the Study of Cryptographic Protocols.

Richard Berger, Sampath Kannan, Ren Peralta

Browse the full CRYPTO paper archive.