--------------------------------------------------------------------------------------------------------------------------------------------
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.
-----------------------------------------------------------------------------------------------------------------------------------------------
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.
Events:
--------------------------------------------------------------------------------------------------------------------------------------------
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:
PLDI, ECOOP, OOPSLA/SPLASH, ICSE, ISSTA, DIMVA, ASE, USENIX Security, CCS (ACM), S&P (OAKLAND), ESORICS, FSE
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.