Compiling cryptographic protocols for deployment on the web.

@inproceedings{mccarthy-2007-compiling, author = {Jay A. McCarthy and Shriram Krishnamurthi and Joshua D. Guttman and John D. Ramsdell}, editor = {Carey L. Williamson and Mary Ellen Zurko and Peter F. Patel-Schneider and Prashant J. Shenoy}, title = {{Compiling cryptographic protocols for deployment on the web}}, booktitle = {{Proceedings of the 16th International Conference on World Wide Web, WWW 2007, Banff, Alberta, Canada, May 8-12, 2007}}, pages = {687--696}, publisher = {ACM}, year = {2007}, url = {https://doi.org/10.1145/1242572.1242665}, doi = {https://doi.org/10.1145/1242572.1242665} }