- Web page for the course Information Flow Control Libraries
- The course is given at FOSAD 2017, which is held from August 28th to September 2nd, 2017.
August 30th: We covered all the material of the course.
August 29th: We covered until "Concurrency" (see Syllabus under the tab Lectures).
August 28th: Welcome to the course! On day 1, we covered until "The security monad MAC" (see Syllabus under the tab Lectures).