Sichere Software

Link zu Moodle

Die Vorlesung wird überwiegend auf Deutsch gehalten werden, außer es besteht Bedarf nach Englisch durch einige Teilnehmer(innen). Die Veranstaltung besteht aus Vorlesung und Übung. Die Vorlesung findet dienstags um 16:15 Uhr in V 2 und freitags um 14:15 in AM-4 statt. Für die Übung gibt es zwei Slots; diese finden donnerstags von 08:30-10:00 Uhr im ISP-Besprechungsraum 108 (Geb. 64, 1. Stockwerk) sowie donnerstags von 10:15-11:45 Uhr im Seminarraum Hilbert statt.

Lehrinhalte:

    Maßnahmen zur Verbesserung der Softwaresicherheit
    Definition zentraler Techniken wie Statische Analyse, Model Checking, Testen, Runtime Verification
    Verfahren zur Programmanalyse
    Verwendung und Funktionsweise von Model Checkern
    Testverfahren
    Sicherung durch Runtime Verification
    Anwendungen der Techniken
    Theorembeweisen
    Werkzeuge

Setzt voraus:

    Software Engineering (CS2300-KP06, CS2300SJ14)
    Einführung in die Logik (CS1002-KP04, CS1002)
    Theoretische Informatik (CS2000-KP08, CS2000)