FoMSeT

Willkommen zu "Formal Methods for Securing Things".

Dieses Thema bündelt die Aktivitäten von Gunnar Teege (Professur für Verteilte Systeme) im Bereich der IT-Sicherheit und im Rahmen des Forschungsinstituts CODE. Der Schwerpunkt liegt dabei auf der Anwendung formaler Methoden zur Absicherung von IT-Systemen wie Eingebetteten Systemen, Betriebssystemen oder Internet of Things.

Aktuelles aus dem FI CODE

CODE-Kolloquium: Sichere Datenverschlüsselung in der Anwendung

Beim CODE-Kolloquium am 23. Oktober 2024 sprach Dr. Kamil Kluczniak von der secunet Security Networks AG über die vollhomomorphe Verschlüsselung und ihre Anwendungen in kritischen Systemen.

EU Cybersicherheit: Netzwerktreffen in Neubiberg

Als Teil des deutschen Nationalen Koordinierungszentrums für Cybersicherheit (NKCS/NCC-DE) richtete das FI CODE vom 9. bis 11. Oktober 2024 auf dem Campus der UniBw M ein NCC-Netzwerktreffen sowie …

CODE-Jahrestagung 2024: Bedrohungen und Chancen durch KI

„Gemeinsam mit KI gegen neue Cyber-Bedrohungen“ war Leitthema der CODE-Jahrestagung 2024. 540 Vertreterinnen und Vertreter aus Forschung, Industrie und Bundeswehr nahmen an dem Event teil.

Alle anzeigen