Suchergebnis: Lehrveranstaltungen im Frühjahrssemester 2022
Informatik Master | |||||||||
Master-Studium (Studienreglement 2020) | |||||||||
Vertiefungen | |||||||||
Vertiefung in Secure and Reliable Systems | |||||||||
Wahlfächer | |||||||||
Nummer | Titel | Typ | ECTS | Umfang | Dozierende | ||||
---|---|---|---|---|---|---|---|---|---|
252-0408-00L | Cryptographic Protocols | W | 6 KP | 2V + 2U + 1A | |||||
252-0408-00 V | Cryptographic Protocols | 2 Std. |
| M. Hirt | |||||
252-0408-00 U | Cryptographic Protocols | 2 Std. |
| M. Hirt | |||||
252-0408-00 A | Cryptographic Protocols | 1 Std. | M. Hirt | ||||||
263-2812-00L | Program Verification Maximale Teilnehmerzahl: 30. | W | 5 KP | 3G + 1A | |||||
263-2812-00 G | Program Verification | 3 Std. |
| P. Müller | |||||
263-2812-00 A | Program Verification | 1 Std. | P. Müller | ||||||
263-4600-00L | Formal Methods for Information Security | W | 5 KP | 2V + 1U + 1A | |||||
263-4600-00 V | Formal Methods for Information Security | 2 Std. |
| S. Krstic, R. Sasse, C. Sprenger | |||||
263-4600-00 U | Formal Methods for Information Security | 1 Std. |
| S. Krstic, R. Sasse, C. Sprenger | |||||
263-4600-00 A | Formal Methods for Information Security | 1 Std. | S. Krstic, R. Sasse, C. Sprenger | ||||||
263-4656-00L | Digital Signatures | W | 5 KP | 2V + 2A | |||||
263-4656-00 V | Digital Signatures | 2 Std. |
| D. Hofheinz | |||||
263-4656-00 A | Digital Signatures | 2 Std. | D. Hofheinz |
- Seite 1 von 1