#  CS 252r: Advanced Topics in Programming Languages 

 





 Semester:   Spring 

|

 Year offered:  2012 

|

 Link: [Course Website](http://www.seas.harvard.edu/courses/cs252/2012sp/) 

 

 

 

#### 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](http://people.seas.harvard.edu/~chong/)



 

 



 

 See also:- [ Computer Science ](/classes/computer-science)