Compiling cryptographic protocols for deployment on the web.

Jay A. McCarthy, Shriram Krishnamurthi, Joshua D. Guttman, John D. Ramsdell

Browse the full WWW paper archive.