192.059 Formal Methods for Security and Privacy
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2020S, VU, 4.0h, 6.0EC
TUWEL

Merkmale

  • Semesterwochenstunden: 4.0
  • ECTS: 6.0
  • Typ: VU Vorlesung mit Übung

Lernergebnisse

Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage eine statische Analysetechnik zur Durchsetzung von Sicherheits- und Datenschutzeigenschaften in verteilten Systemen, kryptographischen Protokollen, und Bytecode zu entwickeln.

In diesem Kurs werden insbesondere die Grundlagen der statischen Analyse von Sicherheits- und Datenschutzmerkmalen erläutert, wobei ein besonderer Schwerpunkt auf Typsystemen und SMT-Lösungen liegt. Die Studierenden lernen, eine statische Analyse zu formalisieren, ihre Richtigkeit zu belegen und mit modernsten Verifikationswerkzeugen effizient umzusetzen.

Inhalt der Lehrveranstaltung

  • Analyse kryptographischer Protokolle über Typsysteme und SMT - Lösung (Applied Pi-Calculus und ProVerif)
  • Sprachbasierte Sicherheit (Nichteinmischung, Hypereigenschaften und Seitenkanäle)
  • Grundlagen der statischen Analyse (Taint Analysis, Symbolic Ausführung, SMT-Lösung
  • Statische Analyse von Bytecode (Ethereum Smart Contracts)
  • Sichere Programmierung in F *

 

Methoden

Der Kurs basiert auf einer Kombination aus theoretischer Vorlesung und praktischen Erfahrungen mit modernsten Verifizierungswerkzeugen (ProVerif, Z3, F*).

Prüfungsmodus

Prüfungsimmanent

Weitere Informationen

ECTS Breakdown:
---------------------------------------------------

30 Std. Vorlesung, Tutorial, Klausur

40 Std. Selbststudium

80 Std. Projekte und Übungen

---------------------------------------------------
150 Stunden (6 ECTS)

 

Vortragende

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Mi.10:00 - 12:0011.03.2020FAV Hörsaal 1 - INF Formal Methods for Security and Privacy

Leistungsnachweis

Die Bewertung erfolgt anhand von Projekten und einer schriftlichen Prüfung.

Prüfungen

TagZeitDatumOrtPrüfungsmodusAnmeldefristAnmeldungPrüfung
Mi. - 23.09.2020schriftlich25.06.2020 10:00 - 22.09.2020 16:00in TISSRetake Final Exam

LVA-Anmeldung

Von Bis Abmeldung bis
07.02.2020 13:00 08.04.2020 14:00 19.04.2020 14:00

Curricula

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Vorkenntnisse

Ein gewisser Hintergrund in Bezug auf Verifikation und Sicherheit ist ideal, aber auch motivierte Studenten mit einem guten Hintergrund in beiden Bereichen sind im Kurs willkommen.

Sprache

Englisch