Suchergebnis: Lerneinheiten im Frühjahrssemester 2021
Informatik Master ![]() | ||||||
![]() | ||||||
![]() ![]() | ||||||
![]() ![]() ![]() | ||||||
![]() ![]() ![]() ![]() | ||||||
Nummer | Titel | Typ | ECTS | Umfang | Dozierende | |
---|---|---|---|---|---|---|
252-0408-00L | Cryptographic Protocols ![]() | W | 6 KP | 2V + 2U + 1A | M. Hirt, U. Maurer | |
263-2812-00L | Program Verification ![]() ![]() Maximale Teilnehmerzahl: 30. | W | 5 KP | 3G + 1A | P. Müller, C. Matheja | |
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