CS 252r: Advanced Topics in Programming Languages

Semester: 

Spring

Offered: 

2012

Description:

This course will focus on language-based information security: using programming language techniques and abstractions to specify, reason about, and enforce, information security. Most of the course will focus on information-flow control: controlling the flow of information within a system to enforce strong security guarantees.

Instructor:

Stephen Chong