Hier finden sich die Vorlesungsaufzeichnungen der Lehrveranstaltung Sichere Systeme aus dem Wintersemester 2024/2025. Die Aufzeichnungen sind nur registrierten Kursmitgliedern zugänglich.