{"id":18168,"date":"2025-07-15T14:46:03","date_gmt":"2025-07-15T12:46:03","guid":{"rendered":"https:\/\/www.kernkonzept.com\/?post_type=press&p=18168"},"modified":"2026-01-05T15:19:21","modified_gmt":"2026-01-05T14:19:21","slug":"kernkonzept-cyberagentur-evit-it-cybersecurity","status":"publish","type":"press","link":"https:\/\/www.kernkonzept.com\/de\/press\/kernkonzept-cyberagentur-evit-it-cybersecurity\/","title":{"rendered":"Kernkonzept beteiligt sich an der Forschung zu nachweisbar sicherer IT"},"content":{"rendered":"

Dresden, July 15, 2025 \u2013<\/strong> Unsere digitale Infrastruktur ist das R\u00fcckgrat der modernen Gesellschaft \u2013 und zugleich zunehmend bedroht. Um sensible Daten und sicherheitskritische Systeme besser zu sch\u00fctzen, hat die Agentur f\u00fcr Innovation in der Cybersicherheit GmbH (Cyberagentur) das Forschungsprogramm \u00d6VIT (\u00d6kosystem Formal Verifizierbare IT \u2013 Beweisbare Cybersicherheit) ins Leben gerufen. Kernkonzept beteiligt sich an der Forschungsgruppe Formula-V, um IT-Systeme mit mathematisch nachweisbarer Sicherheit zu entwickeln. Mit ihrer Expertise f\u00fcr sichere Betriebssysteme bringt die Dresdner Firma zentrale Bausteine f\u00fcr eine Zukunft ein, in der Vertrauen in Technologie nicht auf Versprechen beruht, sondern auf Beweisen.<\/p>\n

Das \u00d6vIT-Projekt zielt darauf ab, Cybersicherheit von Grund auf neu zu denken \u2013 durch mathematisch nachgewiesene Korrektheit von Hardware und Software. Nur so ist sichergestellt, dass ein IT-System v\u00f6llig frei von sicherheitskritischen Fehlern und Schwachstellen ist. Kernkonzept bringt seine Expertise als IT-Sicherheitsspezialist ein, mit besonderem Fokus auf Betriebssysteme und Mikrokernel-basierter Virtualisierung.<\/p>\n

Ein formal verifiziertes IT-\u00d6kosystem h\u00e4tte immense Vorteile f\u00fcr die Cybersicherheit, doch bis heute gibt es dieses System noch nicht. Deshalb hat die Agentur f\u00fcr Innovation in der Cybersicherheit GmbH (Cyberagentur), eine Bundesbeh\u00f6rde, die zur F\u00f6rderung von Cyber-Innovationen und zur Verbesserung der IT-Sicherheit im Bereich der inneren und \u00e4u\u00dferen Sicherheit gegr\u00fcndet wurde, das \u00d6vIT-Forschungsprogramm ins Leben gerufen, um vertrauensw\u00fcrdige IT durch die Weiterentwicklung formaler Methoden in die breite Anwendung zu bringen.<\/p>\n

\u00d6vIT besteht aus f\u00fcnf Projekten mit unterschiedlichen Schwerpunkten. In den n\u00e4chsten vier Jahren wird Kernkonzept als Teil der Forschungsgruppe Formula-V arbeiten, die auf einen holistischen Ansatz f\u00fcr eine vertrauensw\u00fcrdige IT-Hardware- und Software-Infrastruktur abzielt und vom Barkhausen Institut geleitet wird. Die Forschungsgruppe soll durch die Entwicklung einer vertrauensw\u00fcrdigen, formal verifizierbaren IT-Hardware- und Software-Infrastruktur echte \u201eSecurity by Design\u201c erm\u00f6glichen. Grundlage dieser Arbeit wird der von Kernkonzept entwickelte L4Re Secure Separation Kernel VS 1.0.1 sein, der vom BSI f\u00fcr den Einsatz bis GEHEIM\/NATO SECRET akkreditiert und nach Common Criteria als EAL4+ zertifiziert ist.<\/p>\n

\u201eFormula-V ist ein bedeutender Schritt zur St\u00e4rkung der deutschen und europ\u00e4ischen Cybersicherheit. Die Entwicklung von Methoden f\u00fcr fehlerfreie Software wird hoffentlich zu einer Zukunft mit einer viel widerstandsf\u00e4higeren IT-Infrastruktur f\u00fchren\u201d, sagt Dr. Hendrik Tews, Head of Formal Methods, der das Projekt f\u00fcr Kernkonzept leitet. \u201eDie Konstruktion solider Betriebssysteme wie des L4Re Operating System Framework auf einer theoretischen und mathematischen Grundlage ist ein wichtiger n\u00e4chster Schritt \u2013 und wir sind mit unserem Hintergrund in theoretischer Informatik und formalen Methoden gut darauf vorbereitet.\u201d<\/p>\n

Kernkonzept arbeitet mit dem Barkhausen Institut, der TU Dresden, Fraunhofer AISEC, Ferrous Systems und der TU Berlin zusammen, um die Technologie f\u00fcr die Entwicklung sicherer Hardware, Software und insgesamt vertrauensw\u00fcrdigerer Systeme voranzutreiben. Im Mittelpunkt dieser Bem\u00fchungen steht der mathematische Nachweis der Korrektheit von Hardware und Software anhand eines formalen Modells. Durch die Verbesserung sowohl der Entwicklungswerkzeuge als auch der f\u00fcr formale Beweise verwendeten Techniken will das Konsortium einen wichtigen Beitrag zum \u00d6kosystem leisten.<\/p>\n

Gemeinsam wird ein vollst\u00e4ndig verifizierter IoT-Hardware- und Softwarestack aufgebaut, der auf der RISC-V-Hardware-Architektur und der Programmiersprache Rust basiert, wobei alle Komponenten mit dem Rocq-Theorem-Beweiser formell gepr\u00fcft werden. Mehrere Arbeitsgruppen werden die \u00d6kosysteme f\u00fcr Sicherheitsmechanismen und Methoden f\u00fcr die Softwareentwicklung verbessern.<\/p>\n

\u201eVertrauensw\u00fcrdigkeit in der digitalen Welt darf keine Frage des Glaubens mehr sein. Mit Formula-V setzen wir auf mathematisch gesicherte Grundlagen, um digitale Systeme von Grund auf sicher zu gestalten \u2013 nachvollziehbar, \u00fcberpr\u00fcfbar und belastbar. Nur so schaffen wir echte IT-Souver\u00e4nit\u00e4t\u201c, sagt Prof. Dr. Gerhard Fettweis, Wissenschaftlicher Leiter und Gr\u00fcnder des Barkhausen Instituts.<\/p>\n

Zum offiziellen Start des \u00d6vIT-Projekts wurde das gesamte Forschungsprogramm an das Dresdner Projektb\u00fcro \u00fcbertragen, das von Dr. Christoph Hof geleitet wird. Dresden, Deutschlands Zentrum f\u00fcr Betriebssysteme und Mikroelektronik, wird damit auch zum Zentrum des neuen \u00d6kosystems der nachweisbar sicheren IT.<\/p>\n

Kernkonzept wurde vor mehr als zehn Jahren als Spin-off der Fakult\u00e4t Informatik der TU Dresden gegr\u00fcndet und hat seinen Sitz nach wie vor in Dresden. Die strategische Entscheidung, das Mikrokern-System L4Re nach dem Principle of Least Authority (POLA) aufzubauen und damit strikt dem Paradigma Security by Design zu folgen, war der Grundstein daf\u00fcr, dass das Unternehmen heute seine Expertise einbringen kann.<\/p>\n

\u201eMit dem Aufbau einer vertrauensw\u00fcrdigen IT durch formale Verifikation von Hard- und Software heben wir die IT-Souver\u00e4nit\u00e4t in Deutschland und Europa auf ein neues Niveau, insbesondere f\u00fcr sicherheitskritische Systeme\u201c, sagt Dr. Michael Hohmuth, Gr\u00fcnder und Gesch\u00e4ftsf\u00fchrer von Kernkonzept.<\/p>","protected":false},"excerpt":{"rendered":"

Kernkonzept joins Cyberagentur’s EVIT (Ecosystem Formally Verifiable IT \u2013 Provable Cybersecurity) research program to help build IT systems that can be mathematically proven to be secure.<\/p>","protected":false},"featured_media":18179,"menu_order":0,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":""},"press-categories":[77,78,43],"class_list":["post-18168","press","type-press","status-publish","format-standard","has-post-thumbnail","hentry","press-categories-formal-methods","press-categories-microkernel","press-categories-research"],"acf":[],"_links":{"self":[{"href":"https:\/\/www.kernkonzept.com\/de\/wp-json\/wp\/v2\/press\/18168","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.kernkonzept.com\/de\/wp-json\/wp\/v2\/press"}],"about":[{"href":"https:\/\/www.kernkonzept.com\/de\/wp-json\/wp\/v2\/types\/press"}],"version-history":[{"count":3,"href":"https:\/\/www.kernkonzept.com\/de\/wp-json\/wp\/v2\/press\/18168\/revisions"}],"predecessor-version":[{"id":18634,"href":"https:\/\/www.kernkonzept.com\/de\/wp-json\/wp\/v2\/press\/18168\/revisions\/18634"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.kernkonzept.com\/de\/wp-json\/wp\/v2\/media\/18179"}],"wp:attachment":[{"href":"https:\/\/www.kernkonzept.com\/de\/wp-json\/wp\/v2\/media?parent=18168"}],"wp:term":[{"taxonomy":"press-categories","embeddable":true,"href":"https:\/\/www.kernkonzept.com\/de\/wp-json\/wp\/v2\/press-categories?post=18168"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}