Secure Information Flow (78607)

Advanced Lecture in Summer Term 2014

General Information
Instructor:
Juniorprof. Dr.-Ing. Christian Hammer
TAs:
Abhishek Bichhawat
David Pfaff
Tutors:
Tahleen Rahman
Abhishek Tiwari
Type:
advanced lecture (6 credit points)
Lecture:
Mo 14-16, HS 003, E1.3
Recitations:
Fr 10-12, SR 107, E1.3
Fr 14-16, SR 107, E1.3
Course Material:
Slides and papers suggested during the course
Language:
English
Exam:
2014-07-21, 14:00, HS 003, E1.3
Re-exam:
2014-10-16, 14:00, HS 003, 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.