The spring semester 2021 will generally take place online. New presence elements as of April 26 will be communicated by the lecturers.
Courses 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 252-0407-00 V Cryptography Foundations 3 hrs U. Maurer 252-0407-00 U Cryptography Foundations 2 hrs U. Maurer 252-0407-00 A Cryptography Foundations
Project Work, no fixed presence required.
1 hrs U. Maurer Focus Elective Courses Information Security Number Title Type ECTS Hours Lecturers 252-0408-00L Cryptographic Protocols W 5 credits 2V + 2U 252-0408-00 V Cryptographic Protocols 2 hrs M. Hirt,
U. Maurer 252-0408-00 U Cryptographic Protocols 2 hrs M. Hirt,
U. Maurer 263-2925-00L Program Analysis for System Security and Reliability W 5 credits 2V + 1U + 1A 263-2925-00 V Program Analysis for System Security and Reliability 2 hrs M. Vechev 263-2925-00 U Program Analysis for System Security and Reliability 1 hrs M. Vechev 263-2925-00 A Program Analysis for System Security and Reliability 1 hrs M. Vechev 263-4600-00L Formal Methods for Information Security W 4 credits 2V + 1U 263-4600-00 V Formal Methods for Information Security 2 hrs R. Sasse,
C. Sprenger 263-4600-00 U Formal Methods for Information Security 1 hrs 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 263-4630-00 P Computer-Aided Modelling and Reasoning 7 hrs 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 263-2930-00 S Blockchain Security Seminar 2 hrs M. Vechev,
D. Drachsler Cohen,