Mitgliedschaft in der seL4 Foundation / 2026
Fraunhofer AISEC stärkt nachweisbar sichere IT-Systeme für Industrie und kritische Infrastruktur
Fortschritte im Bereich Agentic AI erleichtern es Angreifern zunehmend, Schwachstellen in Software zu finden und auszunutzen. Das Fraunhofer-Institut für Angewandte und Integrierte Sicherheit AISEC tritt daher der seL4 Foundation bei und erforscht den Einsatz des formal verifizierten seL4-Mikrokernels als Grundlage für nachweisbar sichere Systeme. Ein erster Schwerpunkt liegt auf virtuellen Maschinen und Confidential Computing.
mehr Info
Fraunhofer-Institut für Angewandte und Integrierte Sicherheit