COS 598E:Foundations of Language-Based Security

Home
Details
Schedule
Resources
Projects

Resources

Robert Harper. Programming Languages: Theory and Practice. Draft 2002.

Benjamin Pierce. Types and Programming Languages. MIT press. 2002.

Greg Morrisett. A course on Language-Based Security.

CMU pop group. The Concert Project.

Cornell TAL group. The Typed Assembly Language Project.

Peter Lee. Proof Carrying Code.