SE547: Intro [15/20]

Surveys

A Language-Based Approach to Security by Fre Schneider, Greg Morrisett, and Rob Harper

Security Properties, Principles and Mechanisms edited from slides by David Walker and Andrew Meyers

Tutorial on Language-Based Security by Greg Morrisett

Attacking Malicious Code: A report to the Infosec Research Council by Gary McGraw and Greg Morrisett