 | 2009 |
|---|
| 5 |       | Jay A. McCarthy:
Automatically RESTful web applications: marking modular serializable continuations.
ICFP 2009: 299-310 |
| 2008 |
|---|
| 4 | | Jay A. McCarthy,
Shriram Krishnamurthi:
Cryptographic Protocol Explication and End-Point Projection.
ESORICS 2008: 533-547 |
| 3 | | Jay A. McCarthy,
Shriram Krishnamurthi:
Minimal backups of cryptographic protocol runs.
FMSE 2008: 11-20 |
| 2007 |
|---|
| 2 | | Jay A. McCarthy,
Shriram Krishnamurthi,
Joshua D. Guttman,
John D. Ramsdell:
Compiling cryptographic protocols for deployment on the web.
WWW 2007: 687-696 |
| 1 | | 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) |
