Secure Information Flow (62101)

Advanced Lecture in Summer Term 2012

General Information
Instructor:
Juniorprof. Dr.-Ing. Christian Hammer
Type:
advanced lecture (6 credit points)
Lecture:
Th 12-14, HS 001, E1.3
Recitations:
Mo 12-14, SR 016, E1.3
Mo 14-16, SR 107, E1.3
Course Material:
Slides and papers suggested during the course
Language:
English
Exam:
2012-07-26, 12:15, HS 001, E1.3
Re-exam:
2012-10-08, 09:00, HS 001, E1.3
To get a course certificate, students must: Final grades will be based on the exam (70%) and 2 out of 3 quizzes (one will be ignored for the final grade.)

This lecture will cover static and dynamic approaches to control information flow in programs, standard notions like noninterference that e.g. guarantee that no secret may leak to public output and related concepts.

Lecture Notes

The lecture notes can only be viewed from within Saarland University. Please use a VPN to connect.