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

Daten

Vortragende	Matteo Maffei, Ilya Grishchenko, Niklas Grimm, Clara Schneidewind
ECTS	6
Wann	Sommersemester
Sprache	English
Links	TISS

Zuordnungen

M. Logic and Computation	Wahlmodul Programming Languages and Verification
M. Software Engineering & Internet Computing	Wahlmodul Advanced Security
M. Technische Informatik	Wahlmodul Dependable Distributed Systems
M. Technische Informatik	Wahlmodul Computer-Aided Verification

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