Search result: Course units in Spring Semester 2023
Computer Science Master ![]() | ||||||
![]() | ||||||
![]() ![]() | ||||||
Number | Title | Type | ECTS | Hours | Lecturers | |
---|---|---|---|---|---|---|
252-0408-00L | Cryptographic Protocols ![]() | W | 6 credits | 2V + 2U + 1A | M. Hirt | |
263-2925-00L | Program Analysis for System Security and Reliability ![]() Does not take place this semester. | W | 7 credits | 2V + 1U + 3A | M. Vechev | |
263-4600-00L | Formal Methods for Information Security ![]() Does not take place this semester. | W | 5 credits | 2V + 1U + 1A | ||
263-4656-00L | Digital Signatures ![]() | W | 5 credits | 2V + 2A | D. Hofheinz | |
263-4660-00L | Applied Cryptography ![]() ![]() | W | 8 credits | 3V + 2U + 2P | K. Paterson, F. Günther |
Page 1 of 1