Estonian Winter Schools in Computer Science
Eesti arvutiteaduse talvekoolid
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.
Modified Mar 09, 2005 14:45 by monika(at)cs.ioc.ee