Ein Meilenstein für IT-Sicherheit in Deutschland
Cyberagentur unterzeichnet 5 Verträge für das Forschungsprojekt „Ökosystem vertrauenswürdige IT“
Die Agentur für Innovation in der Cybersicherheit GmbH (Cyberagentur) unterzeichnet am 20. Januar 2025 Aufträge mit fünf Unternehmen für das Forschungsprogramm „Ökosystem vertrauenswürdige IT“ (ÖvIT). Ziel ist die formale Verifikation nachweisbarer IT-Sicherheit und die Etablierung eines Netzwerks von Experten und Anwendern.
„Die Cyberagentur hat mit der Vertragsunterzeichnung für die Forschungsprojekte im Programm „Ökosystem vertrauenswürdige IT“ (ÖvIT) einen weiteren entscheidenden Schritt in Richtung technologischer Souveränität gemacht“, betonte Dr. Markus Richter, Staatssekretär im Bundesministerium des Innern und für Heimat sowie CIO der Bundesregierung, in seiner Keynote bei der feierlichen Vertragsunterzeichnung, die er per Videoschaltung hielt. „Mit diesem Forschungsprogramm stärken wir die Position Deutschlands als Vorreiter in der Cybersicherheit.“ Die Veranstaltung fand in der Leopoldina – Nationale Akademie der Wissenschaften in Halle (Saale) statt.
Neben der Keynote verwies der Leiter des Projektbüros Dresden der Cyberagentur, Dr. Christoph Hof, auf die strategischen Ziele und den innovativen Charakter dieses Forschungsprogramms innerhalb der Strategie der Innovationsagentur. Mit ÖvIT verfolgt die Cyberagentur das Ziel, durch mathematisch-logische Verfahren IT-Sicherheit auf ein bisher unerreichtes Niveau zu heben. Die Abwesenheit von maßgeblichen Sicherheitslücken soll nachweisbar gemacht werden – ein entscheidender Schritt, um sowohl hochkomplexe IT-Systeme als auch kritische Infrastrukturen sicherer zu gestalten.
Der Fokus des Forschungsprogramms ist international ausgerichtet und wendet sich nicht nur an Interessenten in Deutschland und der Europäischen Union, sondern auch aus NATO-Staaten und darüber hinaus. „Das Thema der IT-Sicherheit, wie wir es betrachten lassen wollen, macht aufgrund der Globalisierung von Lieferketten nicht an physischen Grenzen Halt“, erläutert der Abteilungsleiter Sichere Systeme der Cyberagentur, Prof. Dr. Matthias Kranz. „Daher konnten wir bisher schon auf ein großes internationales Echo bei den Angeboten bauen, was sich letztlich auch in der Auswahl der innovativsten Projektpartner mit weltweit führenden Experten niederschlägt. Wir können so mit unseren befreundeten Nationen und Wertepartnern zusammen an der IT-Sicherheit arbeiten.“
Im Rahmen von ÖvIT wurden Aufträge an fünf nationale und internationale Unternehmen vergeben, die mit spezifischen Schwerpunkten das Projekt vorantreiben werden:
• Projekt „Formula-V“
Barkhausen Institut gGmbH (Dresden) mit Unterauftragnehmern Technische Unversität Berlin, Ferrous Systems GmbH, Technische Universität Dresden, Kernkonzept GmbH, Fraunhofer AISEC (München)
• Projekt „PROTECT“
Deutsches Forschungszentrum für Künstliche Intelligenz (DFKI) Bremen, mit Unterauftragnehmern RWTH Aachen, Cryspen SARL (Paris), Gesellschaft für Informatik e.V. (Berlin/Bonn), Rheinland-Pfälzische Technische Universität (RPTU) Kaiserslautern, LUBIS EDA GmbH (Kaiserslautern), Universität zu Lübeck
• Projekt der Firma Kry10 (Wellington, NZ)
mit Unterauftragnehmer Proofcraft (Sydney, AU)
• Projekt „Clash Formal“
QBayLogic B. V., (Enschede, NL)
• Projekt „PISTIs-V“
Plan-V GmbH (München) mit Unterauftragnehmern University of New South Wales (Sydney) und Universität Göteborg
Der Neuseeländische Botschafter, S.E. Craig Hawke, zeigte besonderes Interesse an den Projektpartner aus seinem Heimatland und freute sich, dass Kry10 aus Wellington es mit ihrem Ideenansatz in die Umsetzungsphase des Forschungsprogramms geschafft hatte.
„ÖvIT steht nicht nur für technologische Innovation“, erläuterte der Programmleiter, Dr. Sebastian Jester, Leiter Sichere Hardware und Lieferketten in der Abteilung Sichere System der Cyberagentur, „sondern auch für den Aufbau einer aktiven Community aus Forschenden, kommerziellen Anbietern und Anwendern“. Ziel sei es, die Nutzbarkeit formaler Verifikationsmethoden zu vereinfachen und den Wissenstransfer zu fördern. „Ein wichtiger Schritt für das Community Building ist, dass die Cyberagentur zum Start der ÖvIT-Projekte Mitglied der seL4 Foundation wird“, so Dr. Jester weiter. Die Cyberagentur finanziert in den Projekten von Kry10 und Plan-V auch die Weiterentwicklung von seL4, dem formal verifizierten Betriebssystem-Mikrokern, der als Open-Source-Projekt frei verfügbar und überprüfbar ist und dessen Pflege von der seL4 Foundation koordiniert wird. Die Mitgliedschaft der Cyberagentur hebt die Bedeutung dieses Ansatzes für die Cybersicherheit hervor und soll weitere Unterstützer anwerben.
Die Cyberagentur finanziert das Forschungsprogramm über die kommenden 4 Jahre mit rund 42 Millionen Euro. Vorausgegangen waren fünf Vorstudien, mit deren Hilfe die Cyberagentur den Stand der Technik erfasst und Forschungsprioritäten für die jetzt startenden Projekte definiert hat. Das Programm wurde in der Abteilung „Sichere Systeme“ der Cyberagentur definiert und ausgeschrieben und wird mit Start der Projekte durch das Projektbüro Dresden unter Leitung von Dr. Christoph Hof begleitet: „Wir freuen uns, mit den Projektpartner als erstes großes Programm von Dresden aus zusammenzuarbeiten und das Zentrum des neuen Ökosystem vertrauenswürdiger IT zu werden.“
Kontakt:
Agentur für Innovation in der Cybersicherheit GmbH
Große Steinstraße 19
06108 Halle (Saale)
Michael Lindner
Pressesprecher
Tel.: +49 151 44150 645
E-Mail: presse@cyberagentur.de
Hintergrund: Cyberagentur
Die Agentur für Innovation in der Cybersicherheit GmbH (Cyberagentur) wurde im Jahr 2020 als vollständige Inhouse-Gesellschaft des Bundes unter der gemeinsamen Federführung des Bundesministeriums der Verteidigung und des Bundesministeriums des Inneren und für Heimat durch die Bundesregierung mit dem Ziel gegründet, einen im Bereich der Cybersicherheit anwendungsstrategiebezogenen und ressortübergreifenden Blick auf die Innere und Äußere Sicherheit einzunehmen. Vor diesem Hintergrund bezweckt die Arbeit der Cyberagentur maßgeblich eine institutionalisierte Durchführung von hochinnovativen Vorhaben, die mit einem hohen Risiko bezüglich der Zielerreichung behaftet sind, gleichzeitig aber ein sehr hohes Disruptionspotenzial bei Erfolg innehaben können.
Die Cyberagentur ist Bestandteil der Nationalen Sicherheitsstrategie der Bundesrepublik Deutschland.
Der Cyberagentur stehen Prof. Dr. Christian Hummert als Forschungsdirektor und Geschäftsführer sowie Daniel Mayer als kaufmännischer Direktor vor.
Dr. Sebastian Jester, Leiter Sichere Hardware und Lieferketten in der Abteilung Sichere System der Cyberagentur
https://www.cyberagentur.de/presse/ein-meilenstein-fuer-it-sicherheit-in-deutsch...
https://www.cyberagentur.de/programme/oevit/
https://www.cyberagentur.de/schwerpunkte/sichere-systeme/
https://sel4.systems/
https://sel4.systems/news/#member-cyberagentur
https://www.leopoldina.org/
Das Projektteam um Dr. Sebastian Jester (links) feiert heute den offiziellen Start für das ÖvIT-Prog ...
Cyberagentur
Cyberagentur, 2025
Criteria of this press release:
Business and commerce, Journalists, Scientists and scholars, Students
Economics / business administration, Electrical engineering, Information technology, Mathematics, Physics / astronomy
transregional, national
Cooperation agreements, Research projects
German
Das Projektteam um Dr. Sebastian Jester (links) feiert heute den offiziellen Start für das ÖvIT-Prog ...
Cyberagentur
Cyberagentur, 2025
You can combine search terms with and, or and/or not, e.g. Philo not logy.
You can use brackets to separate combinations from each other, e.g. (Philo not logy) or (Psycho and logy).
Coherent groups of words will be located as complete phrases if you put them into quotation marks, e.g. “Federal Republic of Germany”.
You can also use the advanced search without entering search terms. It will then follow the criteria you have selected (e.g. country or subject area).
If you have not selected any criteria in a given category, the entire category will be searched (e.g. all subject areas or all countries).