Search result: Courses in Spring Semester 2022
Cyber Security Master ![]() | |||||||||
![]() | |||||||||
![]() ![]() | |||||||||
Number | Title | Type | ECTS | Hours | Lecturers | ||||
---|---|---|---|---|---|---|---|---|---|
252-0408-00L | Cryptographic Protocols ![]() | W | 6 credits | 2V + 2U + 1A | |||||
252-0408-00 V | Cryptographic Protocols | 2 hrs |
| M. Hirt | |||||
252-0408-00 U | Cryptographic Protocols | 2 hrs |
| M. Hirt | |||||
252-0408-00 A | Cryptographic Protocols | 1 hrs | M. Hirt | ||||||
263-2925-00L | Program Analysis for System Security and Reliability ![]() | W | 7 credits | 2V + 1U + 3A | |||||
263-2925-00 V | Program Analysis for System Security and Reliability | 2 hrs |
| M. Vechev | |||||
263-2925-00 U | Program Analysis for System Security and Reliability | 1 hrs |
| M. Vechev | |||||
263-2925-00 A | Program Analysis for System Security and Reliability | 3 hrs | M. Vechev | ||||||
263-4600-00L | Formal Methods for Information Security ![]() | W | 5 credits | 2V + 1U + 1A | |||||
263-4600-00 V | Formal Methods for Information Security | 2 hrs |
| S. Krstic, R. Sasse, C. Sprenger | |||||
263-4600-00 U | Formal Methods for Information Security | 1 hrs |
| S. Krstic, R. Sasse, C. Sprenger | |||||
263-4600-00 A | Formal Methods for Information Security | 1 hrs | S. Krstic, R. Sasse, C. Sprenger | ||||||
263-4656-00L | Digital Signatures ![]() | W | 5 credits | 2V + 2A | |||||
263-4656-00 V | Digital Signatures | 2 hrs |
| D. Hofheinz | |||||
263-4656-00 A | Digital Signatures | 2 hrs | D. Hofheinz |
Page 1 of 1