Das Frühjahrssemester 2021 findet bis auf Weiteres online statt. Ausnahmen: Veranstaltungen, die nur mit Präsenz vor Ort durchführbar sind. Bitte beachten Sie die Informationen der Dozierenden.

Suchergebnis: Lehrveranstaltungen im Frühjahrssemester 2019

Informatik Master Information
Vertiefungsfächer
Vertiefung in Information Security
Wahlfächer der Vertiefung in Information Security
NummerTitelTypECTSUmfangDozierende
252-0408-00LCryptographic Protocols Information W5 KP2V + 2U
252-0408-00 VCryptographic Protocols2 Std.
Mo13-15NO C 6 »
M. Hirt, U. Maurer
252-0408-00 UCryptographic Protocols2 Std.
Mo15-17CAB G 56 »
M. Hirt, U. Maurer
263-2925-00LProgram Analysis for System Security and Reliability Information W5 KP2V + 1U + 1A
263-2925-00 VProgram Analysis for System Security and Reliability2 Std.
Mo13-15CAB G 61 »
M. Vechev
263-2925-00 UProgram Analysis for System Security and Reliability1 Std.
Mo15-16CAB G 61 »
M. Vechev
263-2925-00 AProgram Analysis for System Security and Reliability1 Std.M. Vechev
263-4600-00LFormal Methods for Information Security Information W4 KP2V + 1U
263-4600-00 VFormal Methods for Information Security2 Std.
Do09-11CHN D 44 »
R. Sasse, C. Sprenger
263-4600-00 UFormal Methods for Information Security1 Std.
Do11-12CHN D 44 »
R. Sasse, C. Sprenger
263-4630-00LComputer-Aided Modelling and Reasoning Information
In the Master Programme max. 10 credits can be accounted by Labs on top of the Interfocus Courses. Additional Labs will be listed on the Addendum.
W8 KP7P
263-4630-00 PComputer-Aided Modelling and Reasoning7 Std.
Fr09-13HG G 26.3 »
C. Sprenger, D. Traytel
  •  Seite  1  von  1