Related Projects and Activities

Robert Harper teaches a course on Languages and Logics for Security. The website contains an an extensive bibliography of readings that should be useful to anyone in the field.

The Security Oriented Languages group at Penn is studying advanced advanced techniques in language based security.