Supplemental Materials:

Some web pages from similar classes:

Steve Zdancewic, http://www.cis.upenn.edu/~stevez/, U Penn CIS 670, Advanced Topics (Safety and Security), 2003: http://www.seas.upenn.edu/~cis670/Spring2003/

Greg Morrisett, Harvard CS255:  Topics in Language-based Security, http://www.eecs.harvard.edu/%7Egreg/cs255sp2004/index.html

Fred B. Schneider, Cornell CS 513, System Security, http://www.cs.cornell.edu/courses/cs513/2004sp/