SE547: Intro [15/20] Previous pageContentsNext page


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

Previous pageContentsNext page