Hot Topics in Language Security (70327)

Seminar in Summer Term 2013

General Information
Juniorprof. Dr.-Ing. Christian Hammer
Seminar (7 credit points)
Course Material:
Slides and papers suggested during the course
We 07 Aug 2013, 14-17, 2.06, E1.1

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.


The weekly meetings of the reading group will take place Fridays 10:00-11:30. Your summaries are due on Thurday evening.

Students are supposed to read one paper each week and summarize it. The paper will then be discussed in the seminar based on your notes. At the end of the term there will be a block where each paper is presented based on the results of the discussion.

The initial meeting was Mo, 22th April 2013 12:00 in room 206, building E1.1.

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

Requirements for successful participation