Search result: Course units in Spring Semester 2019
Computer Science Master  | ||||||
 Focus Courses | ||||||
| Focus Courses in Information Security | ||||||
| Focus Core Courses Information Security | ||||||
| Number | Title | Type | ECTS | Hours | Lecturers | |
|---|---|---|---|---|---|---|
| 252-0407-00L | Cryptography Foundations Takes place the last time in this form. | W | 7 credits | 3V + 2U + 1A | U. Maurer | |
| Focus Elective Courses Information Security | ||||||
| Number | Title | Type | ECTS | Hours | Lecturers | |
| 252-0408-00L | Cryptographic Protocols | W | 5 credits | 2V + 2U | M. Hirt, U. Maurer | |
| 263-2925-00L | Program Analysis for System Security and Reliability | W | 5 credits | 2V + 1U + 1A | M. Vechev | |
| 263-4600-00L | Formal Methods for Information Security | W | 4 credits | 2V + 1U | R. Sasse, C. Sprenger | |
| 263-4630-00L | Computer-Aided Modelling and Reasoning In the Master Programme max. 10 credits can be accounted by Labs on top of the Interfocus Courses. Additional Labs will be listed on the Addendum. | W | 8 credits | 7P | C. Sprenger, D. Traytel | |
| Seminar in Information Security | ||||||
| Number | Title | Type | ECTS | Hours | Lecturers | |
| 263-2930-00L | Blockchain Security Seminar  Number of participants limited to 22. The deadline for deregistering expires at the end of the second week of the semester. Students who are still registered after that date, but do not attend the seminar, will officially fail the seminar. | W | 2 credits | 2S | M. Vechev, D. Drachsler Cohen, P. Tsankov | |
Page
1
of
1
