TU Wien:Formal Methods for Security and Privacy VU (Maffei)

Daten

• LVA-LeiterIn: Matteo Maffei
• Mitwirkende: Ilya Grishchenko, Niklas Grimm, Clara Schneidewind
• ECTS: 6 (SWS: 4.0)
• LVA 192059 im TISS
• Institut: E184/6 - Institut für Informationssysteme, Abteilung Security and Privacy
• Wahlfach für das Masterstudium Software Engineering & Internet Computing (937)
• Wahlfach für das Masterstudium Computational Intelligence (931)
• Wahlfach-Modul im Masterstudium Technische Informatik (938)
• Wird im Sommersemester angeboten
• Mattermost: Channel "formal-methods-for-security-and-privacy" Team invite & account creation link Mattermost-Infos

Inhalt

noch offen, bitte nicht von TISS oder Homepage kopieren, sondern aus Studierendensicht beschreiben.

Ablauf

noch offen

Benötigte/Empfehlenswerte Vorkenntnisse

noch offen

Vortrag

noch offen

Übungen

Sind in Gruppen von 1-3 Personen zu erledigen, 3 Projekte - je mit ProVerif, F* und Z3.

Prüfung, Benotung

Benotung ergibt sich aus den Übungsprojekten sowie einer schriftlichen Prüfung am Schluss ("Final exam").

Für die Prüfung hat man 2,5 Stunden Zeit, im Juni 2018 bestand die Prüfung aus 4 Teilen (Themengebiete jeweils die großen Themen der Vorlesung also "Cryptographic protocols", "Observational equivalence", "Information flow control" und "Static analysis") wobei kein reines Theoriewissen abgefragt wurde sondern man musste sein Verständniswissen auf Beispiele anwenden und das erklären. Bei 1 oder 2 Aufgaben wurde auch nach Beweisen gefragt.

Dauer der Zeugnisausstellung

noch offen

Zeitaufwand

noch offen

Unterlagen

noch offen

• Materialien

Tipps

noch offen

Verbesserungsvorschläge / Kritik

noch offen