doi dblp Compiling cryptographic protocols for deployment on the web Jay A. McCarthy | Shriram Krishnamurthi | Joshua D. Guttman | John D. Ramsdell Proceedings of the 16th International Conference on World Wide Web, WWW 2007, Banff, Alberta, Canada, May 8-12, 2007