Search result: Course units in Spring Semester 2022

Computer Science Master Information
Master Studies (Programme Regulations 2020)
Majors
Major in Secure and Reliable Systems
Core Courses
NumberTitleTypeECTSHoursLecturers
263-2815-00LAutomated Software Testing Restricted registration - show details
Last cancellation/deregistration date for this graded semester performance: 18 March 2022! Please note that after that date no deregistration will be accepted and the course will be considered as "fail".
W7 credits2V + 1U + 3AZ. Su
263-2925-00LProgram Analysis for System Security and Reliability Information W7 credits2V + 1U + 3AM. Vechev
263-4660-00LApplied Cryptography Information Restricted registration - show details
Number of participants limited to 150.
W8 credits3V + 2U + 2PK. Paterson
Elective Courses
NumberTitleTypeECTSHoursLecturers
252-0408-00LCryptographic Protocols Information W6 credits2V + 2U + 1AM. Hirt
263-2812-00LProgram Verification Information Restricted registration - show details
Number of participants limited to 30.
W5 credits3G + 1AP. Müller
263-4600-00LFormal Methods for Information Security Information W5 credits2V + 1U + 1AS. Krstic, R. Sasse, C. Sprenger
263-4656-00LDigital Signatures Information W5 credits2V + 2AD. Hofheinz
  •  Page  1  of  1