263-4600-00L  Formal Methods for Information Security

SemesterSpring Semester 2021
LecturersS. Krstic, R. Sasse, C. Sprenger
Periodicityyearly recurring course
Language of instructionEnglish


Performance assessment information (valid until the course unit is held again)
Performance assessment as a semester course
ECTS credits5 credits
ExaminersC. Sprenger, S. Krstic, R. Sasse
Typesession examination
Language of examinationEnglish
RepetitionThe performance assessment is offered every session. Repetition possible without re-enrolling for the course unit.
Mode of examinationoral 25 minutes
Additional information on mode of examinationThe grade is determined by a project [20%] and the final oral exam [80%]. The compulsory project will be worked on by teams of two students. It will start in week 4 and must be completed by the end of the semester.
This information can be updated until the beginning of the semester; information on the examination timetable is binding.