Start

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

Dual-Use ist die Zukunft – Militärische und zivile Sicherheitsforschung Hand in Hand

Bei der diesjährigen Fachkonferenz des NKCS richtete sich der Fokus auf Europa...

Engagement für Gleichstellung und Chancengerechtigkeit geehrt

Beim Dies academicus am 24. Oktober wurden Dr. Siegfried Brunner und Ulrike Nussel für ihr langjähriges Engagement beim Ferienworkshop-Programm am FI CODE mit dem Diversity-Ehrenpreis der UniBw M …

Karrieremöglichkeiten in der Cybersicherheitsforschung

Auf dem 15. Unternehmens- und Karriereforum des casc präsentierte sich neben zahlreichen namhaften Unternehmen auch das FI CODE und informierte über Einstiegs- und Karrieremöglichkeiten.

Alle anzeigen