Estonian Winter Schools in Computer Science    
Eesti arvutiteaduse talvekoolid
EWSCS 2005
EATTK 2005

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

Topics in Language-Based Security


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

About the Lecturer


Modified Mar 09, 2005 14:45 by monika(at)