2008 |
4 | EE | Jay A. McCarthy,
Shriram Krishnamurthi:
Cryptographic Protocol Explication and End-Point Projection.
ESORICS 2008: 533-547 |
3 | EE | Jay A. McCarthy,
Shriram Krishnamurthi:
Minimal backups of cryptographic protocol runs.
FMSE 2008: 11-20 |
2007 |
2 | EE | Jay A. McCarthy,
Shriram Krishnamurthi,
Joshua D. Guttman,
John D. Ramsdell:
Compiling cryptographic protocols for deployment on the web.
WWW 2007: 687-696 |
1 | EE | Shriram Krishnamurthi,
Peter Walton Hopkins,
Jay A. McCarthy,
Paul T. Graunke,
Greg Pettyjohn,
Matthias Felleisen:
Implementation and use of the PLT scheme Web server.
Higher-Order and Symbolic Computation 20(4): 431-460 (2007) |