Suchergebnis: Lehrveranstaltungen im Frühjahrssemester 2020
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 | 6 KP | 2V + 2U + 1A | ||||||||
252-0408-00 V | Cryptographic Protocols | 2 Std. |
| M. Hirt, U. Maurer | ||||||||
252-0408-00 U | Cryptographic Protocols | 2 Std. |
| M. Hirt, U. Maurer | ||||||||
252-0408-00 A | Cryptographic Protocols | 1 Std. | M. Hirt, U. Maurer | |||||||||
263-2925-00L | Program Analysis for System Security and Reliability | W | 6 KP | 2V + 1U + 2A | ||||||||
263-2925-00 V | Program Analysis for System Security and Reliability | 2 Std. |
| P. Tsankov | ||||||||
263-2925-00 U | Program Analysis for System Security and Reliability | 1 Std. |
| P. Tsankov | ||||||||
263-2925-00 A | Program Analysis for System Security and Reliability | 2 Std. | P. Tsankov | |||||||||
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. |
| R. Sasse, C. Sprenger | ||||||||
263-4600-00 U | Formal Methods for Information Security | 1 Std. |
| R. Sasse, C. Sprenger | ||||||||
263-4600-00 A | Formal Methods for Information Security | 1 Std. | R. Sasse, C. Sprenger | |||||||||
263-4656-00L | Digital Signatures | W | 4 KP | 2V + 1A | ||||||||
263-4656-00 V | Digital Signatures | 2 Std. |
| D. Hofheinz | ||||||||
263-4656-00 A | Digital Signatures | 1 Std. | D. Hofheinz |
- Seite 1 von 1