CMSC 838Z Spring 2005

Language-Based Security

Resources

Background

Pierce, Types and Programming Languages
Pierce (Ed.), Advanced Topics in Types and Programming Languages
PL texts available on-line.
Schneider (Ed.) Trust in Cyberspace

Proof-Carrying Code

Foundational PCC at Princeton
PCC at Berkeley

Typed Assembly Language

TAL at Cornell
ConCert at CMU