Suchergebnis: Lehrveranstaltungen im Frühjahrssemester 2022

Informatik Master Information
Master-Studium (Studienreglement 2020)
Vertiefungen
Vertiefung in Secure and Reliable Systems
Wahlfächer
NummerTitelTypECTSUmfangDozierende
252-0408-00LCryptographic Protocols Information W6 KP2V + 2U + 1A
252-0408-00 VCryptographic Protocols2 Std.
Mi12:15-14:00CAB G 51 »
M. Hirt
252-0408-00 UCryptographic Protocols2 Std.
Mi14:15-16:00CAB G 51 »
M. Hirt
252-0408-00 ACryptographic Protocols1 Std.M. Hirt
263-2812-00LProgram Verification Information Belegung eingeschränkt - Details anzeigen
Maximale Teilnehmerzahl: 30.
W5 KP3G + 1A
263-2812-00 GProgram Verification Für Fachstudierende und Hörer/-innen ist eine Spezialbewilligung der Dozierenden notwendig.3 Std.
Mi09:15-12:00CAB G 56 »
P. Müller
263-2812-00 AProgram Verification Für Fachstudierende und Hörer/-innen ist eine Spezialbewilligung der Dozierenden notwendig.1 Std.P. Müller
263-4600-00LFormal Methods for Information Security Information W5 KP2V + 1U + 1A
263-4600-00 VFormal Methods for Information Security2 Std.
Di10:15-12:00CAB G 59 »
S. Krstic, R. Sasse, C. Sprenger
263-4600-00 UFormal Methods for Information Security1 Std.
Di12:15-13:00CAB G 59 »
S. Krstic, R. Sasse, C. Sprenger
263-4600-00 AFormal Methods for Information Security1 Std.S. Krstic, R. Sasse, C. Sprenger
263-4656-00LDigital Signatures Information W5 KP2V + 2A
263-4656-00 VDigital Signatures2 Std.
Di10:15-12:00HG E 1.2 »
D. Hofheinz
263-4656-00 ADigital Signatures2 Std.D. Hofheinz
  •  Seite  1  von  1