263-4600-00L  Formal Methods for Information Security

SemesterFrühjahrssemester 2020
DozierendeR. Sasse, C. Sprenger
Periodizitätjährlich wiederkehrende Veranstaltung
LehrspracheEnglisch


StudiengangBereichTyp
CAS in InformatikFokusfächer und WahlfächerWInformation
Cyber Security MasterWahlfächerWInformation
DAS in Cyber SecurityWahlfächerWInformation
Informatik MasterWahlfächer der Vertiefung in Information SecurityWInformation
Informatik MasterWahlfächer der Vertiefung General StudiesWInformation