Lehrangebot im Sommersemester 2017
Seminar Formale Methoden und Software Engineering für sicherheitskritische Systeme
Inhalt
Behandlung aktueller Forschungsthemen am Fachgebiet Sichere Softwaresysteme, Techniken zur Qualitätssicherung sicherheitskritischer Softwaresysteme, Verifikationsverfahren zum Nachweis von Security-Eigenschaften
Schwerpunkt in diesem Semester: Aufdecken von Exploits in Webapplikationen durch statische Analysewerkzeuge (z.B. Xanitizer)
Art und Form
2 SWS / 4 LP Seminar (SE), Mastermodul Seminar oder Bachelormodul Proseminar
Hinweis: Diese Veranstaltung kann also als Seminar im Master oder als Proseminar im Bachelor belegt werden. Die zu vergebenen Themen werden entsprechend in Umfang und Niveau etwas variieren.
Zeit und Ort
Starttermin: Montag, 3.4.2017, 13:45 - 15:15 Uhr, Raum VG1c 2.04
Voraussetzungen
Inhaltlich werden Grundlagen der Softwaretechnik vorausgesetzt.
Lehr- und Lernportal
Verwaltung des Moduls über die Lernplattform moodle Kurs mit der Nummer 1888