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

Angewandte Forschung für Verteidigung und Sicherheit in Deutschland

Im Rahmen der Fachkonferenz der Deutschen Gesellschaft für Wehrtechnik e. V. (DWT) stellte Mario Silaci in der vergangenen Woche das von dtec.bw geförderte CODE-Projekt „ROLORAN“ vor.

Gemeinsam im Einsatz: BLKA und LSI trainieren am FI CODE

Mitarbeiterinnen und Mitarbeiter vom Bayerischen Landeskriminalamt (BLKA) und dem bayerischen Landesamt für Sicherheit in der Informationstechnik (LSI) trainierten vergangene Woche in der …

Jour Fixe Innovation CIT in Koblenz

In Koblenz kamen verschiedene Akteure aus Militär, Wissenschaft, Technik und Verwaltung zusammen, um gemeinsam über Themen der Digitalisierung und Innovation in der Bundeswehr zu sprechen.

Alle anzeigen