uni-potsdam.de

You are using an old browser with security vulnerabilities and can not use the features of this website.

Here you will see how you can easily upgrade your browser.

Announcement for the Research Seminar in Summer Semester 2017

--------------------------------------------------------------------------------------------------------------------------------------------

General Information

Instructor:    Prof. Dr.-Ing. Christian Hammer

Course of Studies: Bachelor and Master

Course Material: Slides and Paper suggested during the course

Language: English

SWS: 2

Credits: 3

 

 Schedule:

-----------------------------------------------------------------------------------------------------------------------------------------------

    Day        Timing         Room          Beginning         Lecturer     
  Thursday      10:15-11:45       3.04.0.02            20.04 Christian Hammer   

 

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:

--------------------------------------------------------------------------------------------------------------------------------------------

20.04.2017       Christian Hammer     How to give a research seminar

27.04.2017       Max Schlüter             Implementation-level Analysis of the JavaScript Helios Voting Client

04.05.2017       Christian Hammer     How to write a research paper

11.05.2017        Abhishek Tiwari        DroidDisintegrator

Papers:

-----------------------------------------------------------------------------------------------------------------------------------------------

We encourage students to present research papers from following conferences:

PLDIECOOPOOPSLA/SPLASHICSEISSTAESSOSASEUSENIX SecurityCCS (ACM)S&P (OAKLAND)ESORICSFSE

Criteria for obtaining credit points:

-----------------------------------------------------------------------------------------------------------------------------------------------

Students will have to present at least two research papers, one at the beginning, and other at the end of the course. To get the initial feedback for the slides, students will have to send their slides at least two weeks before to their actual presentation date.