Search result: Course units in Spring Semester 2023
Computer Science Master  | ||||||
 Majors | ||||||
| Major in Secure and Reliable Systems | ||||||
| Elective Courses | ||||||
| Number | Title | Type | ECTS | Hours | Lecturers | |
|---|---|---|---|---|---|---|
| 252-0408-00L | Cryptographic Protocols | W | 6 credits | 2V + 2U + 1A | M. Hirt | |
| 263-2812-00L | Program Verification  | W | 5 credits | 3G + 1A | P. Müller, M. Eilers | |
| 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 | |
Page
1
of
1
