Jay McCarthy
About Me
I am an assistant professor at Brigham Young University in the
Computer Science department.
I was a Ph.D. student at Brown University in the Computer Science
department. I worked with Shriram Krishnamurthi. I was an NSF Graduate
Research Fellow.
I graduated from the University of Massachusetts at Lowell where I
studied Computer Science, Mathematics, and Economics.
Research Interests
I am interested in applying programming languages research techniques to
cryptographic protocols and the Web, as well as other areas of security and
systems. I am also very interested in theorem provers and program
verification.
Publications
- J. McCarthy and S. Krishnamurthi. Minimal Backups of
Cryptographic Protocols Runs. In Formal Methods in Security
Engineering, 2008. (Details forthcoming)
- J. McCarthy and S. Krishnamurthi. Cryptographic End-Point
Projection and Explication. In European Symposium on Research in
Computer Security, 2008. (Details forthcoming)
- J. McCarthy, J. D. Guttman, J. D. Ramsdell, and
S. Krishnamurthi. Compiling Cryptographic Protocols for
Deployment on the Web. In World Wide Web, pages 687–696,
2007. (Details)
- S. Krishnamurthi, P. W. Hopkins, J. McCarthy, P. T. Graunke, G.
Pettyjohn, and M. Felleisen. Implementation and Use of the PLT
Scheme Web Server. Higher-Order and Symbolic Computation,
2007. (Details)
- J. McCarthy and S. Krishnamurthi. Interaction-safe state for the
Web. In Scheme and Functional Programming, September
2006. (Details)
Teaching
Projects
Current
- The Cryptographic Protocol Programming Language:
A role-based language for designing protocols in the strand space model.
- The Whole-Protocol Programming Language: A
global language for designing protocols in the strand space model.
- The PLT Web Server: I am responsible for further
development of the PLT Web Server. It is available through the standard
distribution of PLT Scheme. Please
direct bug reports through the regular channels.
Past
- The Continue Conference Manager: Continue is a web application for
paper submissions, reviews, and PC meetings. It has been superseded by Continue 2.0.
- Resume Faculty Application Server: Resume is the
Continue of application servers. Now rewritten in Flapjax.
Personal
I have a blog. I am
married to Elizabeth Day
McCarthy. Our wedding album is pretty
awesome. We are both members of The Church of
Jesus Christ of Latter-day Saints.
Links
Contact Information
