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:
Link:
See also: Computer Science