Search result: Course units in Spring Semester 2019
Computer Science Master | ||||||
Focus Courses | ||||||
Focus Courses in Information Security | ||||||
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 |
- Page 1 of 1