Autumn Semester 2020 takes place in a mixed form of online and classroom teaching.
Please read the published information on the individual courses carefully.

Search result: Course units in Spring Semester 2019

Computer Science Master Information
Focus Courses
Focus Courses in Information Security
Focus Core Courses Information Security
NumberTitleTypeECTSHoursLecturers
252-0407-00LCryptography Foundations Information
Takes place the last time in this form.
W7 credits3V + 2U + 1AU. Maurer
Focus Elective Courses Information Security
NumberTitleTypeECTSHoursLecturers
252-0408-00LCryptographic Protocols Information W5 credits2V + 2UM. Hirt, U. Maurer
263-2925-00LProgram Analysis for System Security and Reliability Information W5 credits2V + 1U + 1AM. Vechev
263-4600-00LFormal Methods for Information Security Information W4 credits2V + 1UR. Sasse, C. Sprenger
263-4630-00LComputer-Aided Modelling and Reasoning Information
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.
W8 credits7PC. Sprenger, D. Traytel
Seminar in Information Security
NumberTitleTypeECTSHoursLecturers
263-2930-00LBlockchain Security Seminar Information Restricted registration - show details
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.
W2 credits2SM. Vechev, D. Drachsler Cohen, P. Tsankov
  •  Page  1  of  1