10th Estonian Winter School in Computer Science (EWSCS)
X Eesti Arvutiteaduse Talvekool
Palmse, Estonia, February 27 - March 4, 2005
under the auspices of European Educational Forum
Greg Morrisett
Division of Engineering and Applied Science
Harvard University
USA
Topics in Language-Based Security
Abstract
Our society is increasingly dependent upon the proper functioning of our computing infrastructure. Yet, that infrastructure is riddled with flaws that at best mean systems fail, and at worst, allow a malicious attacker to take control.
This course will survey the application of programming language technologies that attempt to address the security and reliability challenges we face. These technologies include program analysis, advanced type systems, theorem provers, and program rewriters. The course emphasis will be on proposed frameworks for extensible systems, such as proof-carrying code and in-lined reference monitors.
Course materials
- G. Morrisett. Language-based security - an introduction. Slides. [pdf]
- G. Morrisett. Software-based memory isolation. Slides. [pdf]
- G. Morrisett. Typed assembly language. Slides. [pdf]
- G. Morrisett. Proof-carrying code. Slides. [pdf]
About the Lecturer