Lehrangebot im Wintersemester 2016/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
Zeit und Ort
Starttermin: Montag, 10.10.2016, 13:45 - 15:15 Uhr, Raum VG1c 2.24
Voraussetzungen
Inhaltlich werden Grundlagen der Softwaretechnik vorausgesetzt.