Search result: Course units in Spring Semester 2023

Computer Science Master Information
Majors
Major in Secure and Reliable Systems
Elective Courses
NumberTitleTypeECTSHoursLecturers
252-0408-00LCryptographic Protocols Information W6 credits2V + 2U + 1AM. Hirt
263-2812-00LProgram Verification Information Restricted registration - show details W5 credits3G + 1AP. Müller, M. Eilers
263-4600-00LFormal Methods for Information Security Information
Does not take place this semester.
W5 credits2V + 1U + 1A
263-4656-00LDigital Signatures Information W5 credits2V + 2AD. Hofheinz
  •  Page  1  of  1