Joshua Guttman Research Professor, Computer Science email: lastname at wpi.edu or firstname dot lastname at gmail.com

Papers

Report of the NSF Workshop on Security and Formal Methods

• The full report is posted on Arxiv at arXiv:1608.00678 [cs.CR]
• A four page executive summary is here.

Courses

• CS 557: Software Security Analysis and Design.
  The course website is here
• CS 4536 and 536: Programming Languages.
  The course website is here
• CS 4401: Software Security Engineering
  The course website is here
• CS 559 and 564: Adv. Topics in Theoretical CS:
  Principles of Security and Trust
  The course website is here
• CS 2223: Algorithms
  The course website is here
• CS 521: Logic in Computer Science:
  The course website is here

CSFW

Older material

• Imps, an Interactive Mathematical Proof System (Home Page). I am grateful to the McMaster Computer Engineering Department for allowing us to maintain the Imps site on their server.
• Vlisp: A Verified Implementation of Scheme. This archive contains copies of three papers documenting the results of the Vlisp project. They made up Lisp and Symbolic Computation, volume 8 numbers 1/2 (1995), a special issue devoted to Vlisp. A related paper of Kelsey and Rees is also available here.

Where's Joshua?