263-4600-00L  Formal Methods for Information Security

SemesterFrühjahrssemester 2020
DozierendeR. Sasse, C. Sprenger
Periodizitätjährlich wiederkehrende Veranstaltung
LehrspracheEnglisch


Information zur Leistungskontrolle (gültig bis die Lerneinheit neu gelesen wird)
Leistungskontrolle als Semesterkurs
ECTS Kreditpunkte5 KP
PrüfendeC. Sprenger, R. Sasse
FormSessionsprüfung
PrüfungsspracheEnglisch
RepetitionDie Leistungskontrolle wird nur in der Session nach der Lerneinheit angeboten. Die Repetition ist nur nach erneuter Belegung möglich.
Prüfungsmodusmündlich 25 Minuten
Zusatzinformation zum PrüfungsmodusThe 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.
Diese Angaben können noch zu Semesterbeginn aktualisiert werden; verbindlich sind die Angaben auf dem Prüfungsplan.