Neue Ära von „#CybersicherheitByDesign“: Forschungsprojekt „Ökosystem vertrauenswürdige IT“ #ÖvIT gestartet. Das Ziel: beweisbare #ITSicherheit durch #FormaleVerifikation. Angebote: bis 30.11.23: #Cybersicherheit #FormalMethods #KRITIS #Cybersecurity
https://nachrichten.idw-online.de/2023/09/11/gesucht-ansaetze-fuer-beweisbare-it-sicherheit-durch-formale-verifikation

Am 14.02. fand der Workshop zu den 5 Vorstudien für ein IT-Ökosystem mit beweisbarer #Cybersicherheit der @Cyberagentur (https://www.cyberagentur.de/fuenf-vorstudien-werden-forschungsluecken-ausleuchten/) statt. Die Auftragnehmer tauschten sich untereinander über zukünftige #ÖVIT-Forschungsprioritäten aus. Projektleiter @cyberjestr ist nach Lektüre der Projektberichte sehr optimistisch: „Beweisbare IT-Sicherheit ist ein dickes Brett. Die Vorstudien zeigen: bohren lohnt sich!“ Eine ÖvIT-Forschungsausschreibung konzipiert die #Cyberagentur für den Sommer.

@ArneBab Hallo, erstrangig initiieren wir technologiebasierte Projekte in der #Cybersicherheit. Wir sind dabei sehr an der OpenSource-Entwicklung interessiert und daher auch der #Linux-Foundation beigetreten. Es gibt innerhalb unserer Forschungsprojekte daher Ansätze, in denen OpenSource eine wichtige Rolle spielt oder spielen wird. Bei unserem #ÖVIT-Projekt (https://www.cyberagentur.de/fuenf-vorstudien-werden-forschungsluecken-ausleuchten/) betrachten wir u.a. auch #SELinux und unterstützen so Weiterentwicklung von #OpenSource.

Die Geschäftsführer der @Cyberagentur waren vor einigen Tagen zu Gast bei Eva Högl in #Berlin. Die #Wehrbeauftragte des #Bundestag|es zeigte sich ein halbes Jahr nach ihrem Besuch in #Halle erfreut über die innovativen Projekte, die im letzten Jahr ausgeschrieben wurden. Auf großes Interesse stieß bei ihr, dass die Cyberagentur für ihre Projektausschreibungen das PCP-Verfahren einsetzt. Die Cyberagentur sei auf dem richtigen Weg.
#Cybersicherheit #KRITIS #BCI #Quantencomputer #ÖVIT

Auf #HiPEAC23 in Toulouse sprach Dr. Jester @cyberjestr von der @Cyberagentur im Workshop „Secure Hardware“ über vertrauenswürdige IT und ein „Ökosystem vertrauenswürdige IT (#ÖvIT)“. Ein Projekt, um mit formalen Methoden Sicherheitseigenschaften von der Hardware und ihren Lieferketten über das Betriebssystem bis hin zur Anwendung möglichst durchgängig beweisbar zu machen. Ziel: Stärkung der inneren und äußeren Sicherheit Deutschlands und der technologischen Souveränität. https://www.hipeac.net/2023/toulouse/#/