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.
The course will be held online:
https://meet.secpriv.wien/SeminaronSecurityFormalMethodsforSecurityandPrivacy
1h Vorbesprechung12h Anwesenheit (6 x 2h)56h Vorbereitung zur Diskussion (6 x 9h)6h Vorbereitung der eigenen Paperpräsentation ------------------------------------------------75h = 3 ECTS
Following or having follow 192.059 Formal Methods for Security and Privacy is required.