Search result: Course units in Spring Semester 2019

Computer Science Master Information
Focus Courses
Focus Courses in Information Security
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
  •  Page  1  of  1