192.114 Seminar aus Security (Formale Methoden für Sicherheit und Datenschutz)
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2020W, SE, 2.0h, 3.0EC
TUWEL

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: SE Seminar
  • Format der Abhaltung: Distance Learning

Lernergebnisse

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.

Inhalt der Lehrveranstaltung

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.

Methoden

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

Prüfungsmodus

Prüfungsimmanent

Weitere Informationen

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


 

Beachten Sie beim Verfassen der Ausarbeitung bitte die Richtlinie der TU Wien zum Umgang mit Plagiaten: Leitfaden zum Umgang mit Plagiaten (PDF)

Vortragende

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Mi.10:00 - 12:0007.10.2020FAV Hörsaal 2 192.114 Seminar aus Security
Mi.10:00 - 12:0021.10.2020FAV Hörsaal 2 192.114 Seminar aus Security
Mi.10:00 - 12:0004.11.2020FAV Hörsaal 2 192.114 Seminar aus Security
Mi.10:00 - 12:0018.11.2020FAV Hörsaal 2 192.114 Seminar aus Security
Mi.10:00 - 12:0002.12.2020FAV Hörsaal 2 192.114 Seminar aus Security
Mi.10:00 - 12:0016.12.2020FAV Hörsaal 2 192.114 Seminar aus Security

Leistungsnachweis

  • 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

LVA-Anmeldung

Von Bis Abmeldung bis
01.09.2020 00:00 21.10.2020 00:00 21.10.2020 00:00

Anmeldemodalitäten:

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

Curricula

StudienkennzahlSemesterAnm.Bed.Info
066 937 Software Engineering & Internet Computing

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Begleitende Lehrveranstaltungen

Sprache

Englisch