After successful completion of the course, students are able to discuss and review research papers published at top-tier security venues , both in terms of technical contribution and methodology. The will also have an overview of current and open research topics in the area of formal methods for security and privacy.

During each seminar a research paper published at a top tier security conference will be discussed. This should familiarize the participants with current research topics, potentially giving them ideas for directions to pursue in their Master thesis, or complimentary to their own research to get an overview about other topics in the field.

• Reading and summarizing research papers
• Collection of interesting questions for the topics of the week
• Presentation of selected topics
• Plenary discussion of the topics

The course will be held online:

https://meet.secpriv.wien/SeminaronSecurityFormalMethodsforSecurityandPrivacy

1h   First meeting
12h Seminar attendance (6 x 2h)
56h Preparation for discussion (6 x 9h)
6h   Preparation of individual paper presentation
------------------------------------------------
75h = 3 ECTS

• Attendance of at least 75% of the discussions
• Oral summary of at least one paper and leading the discussion about it
• Participation in the discussion of papers on the remaining dates

Following or having follow 192.059 Formal Methods for Security and Privacy is required.