Suchergebnis: Lerneinheiten im Frühjahrssemester 2018
Informatik Master | ||||||
Vertiefungsfächer | ||||||
Vertiefung in Information Security | ||||||
Wahlfächer der Vertiefung in Information Security | ||||||
Nummer | Titel | Typ | ECTS | Umfang | Dozierende | |
---|---|---|---|---|---|---|
252-0408-00L | Cryptographic Protocols | W | 5 KP | 2V + 2U | M. Hirt, U. Maurer | |
263-4600-00L | Formal Methods for Information Security | W | 4 KP | 2V + 1U | R. Sasse, C. Sprenger | |
263-2925-00L | Program Analysis for System Security and Reliability | W | 5 KP | 2V + 1U + 1A | M. Vechev |
- Seite 1 von 1