Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage Researchpaper zu diskutieren und kritisch zu hinterfragen, sowohl im Bezug auf technische Contribution, als auch Methodik. Sie erhalten außerdem einen Überblick über aktuelle und offene Forschungsthemen im Bereich formale Methoden für Sicherheit und Datenschutz  sowie über den wissenschaftlichen Veröffentlichungsprozess und die wichtigsten Konferenzen in diesem Bereich.

Zu jedem Termin wird ein Researchpaper diskutiert, das bei einer hochrangigen wissenschaftlichen Konferenz im Bereich formale Methoden für Sicherheit und Datenschutz akzeptiert wurde.

Zum einen soll dies die Teilnehmer mit aktuellen Forschungsthemen vertraut machen und ihnen Anregungen zu Themen für ihre Master-Arbeit geben, oder auch einen Überblick über andere Themen in diesem Bereich verschaffen,falls sie mit dieser schon begonnen haben. Neben der technischen Contribution der Paper werden auch deren Limitations und potentielle Erweiterungen diskutiert, sowie die Gesamtstruktur, die Methodik und die Qualität der Evaluierung kritisch hinterfragt.

• Lesen und Zusammenfassen von Researchpapern
• Erarbeiten von interessanten Fragen zu den behandelten Themen
• Vorträge der Teilnehmenden
• Ausführliche Diskussion der einzelnen Themen

The course will be held online:

https://meet.secpriv.wien/SeminaronSecurityFormalMethodsforSecurityandPrivacy

1h   Vorbesprechung
12h Anwesenheit (6 x 2h)
56h Vorbereitung zur Diskussion (6 x 9h)
6h   Vorbereitung der eigenen Paperpräsentation
------------------------------------------------
75h = 3 ECTS

• Anwesenheit bei mindestens 75% der Termine
• Mündliche Zusammenfassung von mindestens einem Paper und Leitung der Diskussion darüber
• Teilnahme an der Diskussion von Papern an den restlichen Terminen

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