Jay A. McCarthy, Shriram Krishnamurthi, Joshua D. Guttman, John D. Ramsdell. Compiling cryptographic protocols for deployment on the web. In Carey L. Williamson, Mary Ellen Zurko, Peter F. Patel-Schneider, Prashant J. Shenoy, editors, Proceedings of the 16th International Conference on World Wide Web, WWW 2007, Banff, Alberta, Canada, May 8-12, 2007. pages 687-696, ACM, 2007. [doi]