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

Verantwortungsvolle KI - Gleichgewicht zwischen Innovation und Ethik

Das CODE-Kolloquium am 4. Dezember brachte Expertinnen und Interessierte zusammen, um das transformative Potenzial von KI und ihrer ethischen Auswirkungen auf die Gesellschaft zu diskutieren.

Spannende Challenges beim zehnten „Capture the Flag“ des FI CODE

Ende November nahmen wieder rund 100 Hacking-Begeisterte an dem jährlichen CTF-Event des FI CODE teil. In zahlreichen spannenden Challenges konnten die Teilnehmenden ihr Können unter Beweis stellen.

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.

Alle anzeigen