Announcement for the Research Seminar

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

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

Every student is supposed to give two (!) talks about a recent research paper in the area matching the research interests of the research group. Possible conferences to choose from are listed below. Presentation techniques are a major factor for grading. The second presentation is supposed to implement the feedback received from the first talk and will be given priority with respect to grading, such that improvements in your technique are recognized. A good starting point for how to give a great research talk can be found from Simon Peyton Jones.

Important: In SS'20 we will most probably have all talks given virtually given the COVID-19 meeting restrictions. 

 

Schedule:

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

    Day        Timing         Room          Lecturer     
  Thursday      10:15-11:45      virtual
(3.04.1.02)
 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.

Presentation Tutorial:

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

The how to give a great research talk tutorial by Simon Peyton can be used as an example to prepare a great seminar talk.  The talk in pdf can be found here

Papers:

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

We encourage students to present research papers from following conferences:

PLDIECOOPOOPSLA/SPLASHICSEISSTA, DIMVAASEUSENIX 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.