Instructor:
|
Prof. Dr.-Ing. Christian Hammer
|
Course of Studies:
|
Bachelor and Master
|
Course Material:
|
Slides and papers suggested during the course
|
Language:
|
English
|
SWS:
|
2
|
Credits:
|
3
|
-
Enrollment and Submissions:
-
In accordance with the provisions of the Institute for Computer Science Instituts für
Informatik, the enrollment and course assignments are handled electronically:
https://puls.sb-portal.uni-potsdam.de.
-
Schedule:
-
Day
|
Timing
|
Room
|
Beginning
|
Lecturer
|
Thursday
|
10:15-11:45
|
3.04.0.02
|
20.101)
|
Christian Hammer
|
-
Note:
-
1) Christmas holidays from 22.12.2016 to 29.12.2016
-
Content:
-
This seminar will cover static and dynamic approaches to enforce security policies in programs, in particular on platforms like the Web or Android. Examples are standard notions like safety properties or noninterference that e.g. guarantee that no secret may leak to public output and related concepts.
-
Events:
-
-
Papers:
-
-
Criteria for Obtaining Credit Points:
-
In order to get the credits, students will have to present at least one of the given paper at the end of the semester. In order to get the initial reviews for the slides, students have to send their slides two weeks before to their actual presentation date.
|