Suchergebnis: Lerneinheiten im Frühjahrssemester 2023
Informatik Master  | ||||||
 Vertiefungen | ||||||
| Vertiefung in Secure and Reliable Systems | ||||||
| Kernfächer | ||||||
| Nummer | Titel | Typ | ECTS | Umfang | Dozierende | |
|---|---|---|---|---|---|---|
| 263-2815-00L | Automated Software Testing  Last cancellation/deregistration date for this graded semester performance: 17 March 2023! Please note that after that date no deregistration will be accepted and the course will be considered as "fail". | W | 7 KP | 2V + 1U + 3A | Z. Su | |
| 263-2925-00L | Program Analysis for System Security and Reliability Findet dieses Semester nicht statt. | W | 7 KP | 2V + 1U + 3A | M. Vechev | |
| 263-4660-00L | Applied Cryptography | W | 8 KP | 3V + 2U + 2P | K. Paterson, F. Günther | |
| 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 | W | 5 KP | 3G + 1A | P. Müller, M. Eilers | |
| 263-4600-00L | Formal Methods for Information Security Findet dieses Semester nicht statt. | W | 5 KP | 2V + 1U + 1A | ||
| 263-4656-00L | Digital Signatures | W | 5 KP | 2V + 2A | D. Hofheinz | |
Seite
1
von
1
