doi dblpCompiling cryptographic protocols for deployment on the webJay A. McCarthy | Shriram Krishnamurthi | Joshua D. Guttman | John D. RamsdellProceedings of the 16th International Conference on World Wide Web, WWW 2007, Banff, Alberta, Canada, May 8-12, 2007