[PL-sem-jr] PL Jr, Friday Oct 19 (tomorrow)

[Erik Silkensen]

This week we'll survey the basics of information flow control (IFC), a mechanism for enforcing a security policy by tracking the flow of data through a system.  We'll proceed chronologically, starting with a review of Denning's original lattice model and static analysis from the 70s, and concluding with a look at some of the recent work on adding dynamic IFC to languages with exceptions.

-- Erik