The spring semester 2021 will generally take place online. New presence elements as of April 26 will be communicated by the lecturers.

Search result: Courses 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 + 1A
252-0407-00 VCryptography Foundations3 hrs
Wed13-16CAB G 51 »
U. Maurer
252-0407-00 UCryptography Foundations2 hrs
Mon10-12CAB G 52 »
Tue13-15CAB G 57 »
U. Maurer
252-0407-00 ACryptography Foundations
Project Work, no fixed presence required.
1 hrsU. Maurer
Focus Elective Courses Information Security
NumberTitleTypeECTSHoursLecturers
252-0408-00LCryptographic Protocols Information W5 credits2V + 2U
252-0408-00 VCryptographic Protocols2 hrs
Mon13-15NO C 6 »
M. Hirt, U. Maurer
252-0408-00 UCryptographic Protocols2 hrs
Mon15-17CAB G 56 »
M. Hirt, U. Maurer
263-2925-00LProgram Analysis for System Security and Reliability Information W5 credits2V + 1U + 1A
263-2925-00 VProgram Analysis for System Security and Reliability2 hrs
Mon13-15CAB G 61 »
M. Vechev
263-2925-00 UProgram Analysis for System Security and Reliability1 hrs
Mon15-16CAB G 61 »
M. Vechev
263-2925-00 AProgram Analysis for System Security and Reliability1 hrsM. Vechev
263-4600-00LFormal Methods for Information Security Information W4 credits2V + 1U
263-4600-00 VFormal Methods for Information Security2 hrs
Thu09-11CHN D 44 »
R. Sasse, C. Sprenger
263-4600-00 UFormal Methods for Information Security1 hrs
Thu11-12CHN D 44 »
R. 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 credits7P
263-4630-00 PComputer-Aided Modelling and Reasoning7 hrs
Fri09-13HG G 26.3 »
C. 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 credits2S
263-2930-00 SBlockchain Security Seminar2 hrs
Fri13-15CAB G 57 »
M. Vechev, D. Drachsler Cohen, P. Tsankov
  •  Page  1  of  1