CS711:  Advanced Programming Languages
Topics in Language-Based Security

Spring 2002
Tuesday & Thursday, 1:25-2:40pm
Systems Lab (Upson 3rd Floor)
Greg Morrisett

Topics include:

• Overview and motivation
• Software-Based Fault Isolation
• Inlined Reference Monitors
• Typed Assembly Language and Certifying Compilation
• Proof-Carrying Code
• Foundational Proof Carrying-Code
• Stack Inspection
• Formalizing the JVML type system
• Type-Based Information Flow
• Resources

Prerequisites:  CS611 or permission of the instructor.

Course Requirements:  reading (heavy), attend lectures and discuss papers, prepare and present a survey or else implement an interesting project. 

Course notes and links to papers can be found here.

Announcements:

• Once again, we change locations:  we'll try the systems lab.
• A half-page description of the project or term paper you plan to do for the course is due on Thursday, Feb. 14 in class.
• After Feb. 5, we will be meeting in Upson 111A.  On Feb 5., we will meet in 5126.
• No class on Feb. 7.
• Class will meet in Upson 5126 normally.  However, on the dates 1/24 and 1/31, we will meet in 5130.

Last Update:  12/14/2004 02:45 PM