Suchergebnis: Lerneinheiten 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 | M. Hirt | |
| 263-2812-00L | Program Verification  Maximale Teilnehmerzahl: 30. | W | 5 KP | 3G + 1A | P. Müller | |
| 263-4600-00L | Formal Methods for Information Security | W | 5 KP | 2V + 1U + 1A | S. Krstic, R. Sasse, C. Sprenger | |
| 263-4656-00L | Digital Signatures | W | 5 KP | 2V + 2A | D. Hofheinz | |
Seite
1
von
1
