#ovit — Public Fediverse posts

🎧 https://cyberraum-podcast.podigee.io/19-formale-verifikation
⬇️ https://audio.podigee-cdn.net/2396088-m-1eb131ad5f6a428fd922aca69c95e8c3.mp3?source=webplayer-download
🟢 https://open.spotify.com/episode/1ZLdNTyfAkCsyowQZXkGLN?si=4I55XB-mRs6nR-MLWB7woA
🍏 https://podcasts.apple.com/de/podcast/hard-und-software-sicher-machen-mit-logik-und-mathe/id1767558988?i=1000754813489
📬https://cyberraum-podcast.podigee.io/feed/mp3

Viel Spaß beim Hören!

#Podcast #KI #trustworthyIT #ÖvIT #EvIT #formaleVerifikation
@Cyberagentur

Ein Meilenstein für IT-Sicherheit: Die @Cyberagentur hat am 20.01.2025 fünf Verträge für das Forschungsprogramm „Ökosystem vertrauenswürdige IT“ (ÖvIT) unterzeichnet. Ziele: Beweisbare IT-Sicherheit und ein internationales Netzwerk von Experten.
Mehr Informationen: https://t1p.de/8mb4c
#ÖvIT #Cybersicherheit #FormaleVerifikation #Forschung #seL4

20.01.25: A milestone for IT security: Contract by @CybAgBund with 5 partners for the "Trustworthy IT Ecosystem" (ÖvIT) research program.
Aim: Proven IT security and a global network of experts.
#ÖvIT #Cybersecurity #FormalVerification #Innovation
https://nachrichten.idw-online.de/2025/01/20/cyberagentur-signs-five-contracts-for-the-verifiably-secure-it-ecosystem-research-program

Wir starten in den Tag mit den Workshops zum Forschungsprogramm „Ökosystem vertrauenswürdige IT“ (ÖvIT) der @Cyberagentur.
Fünf Projektpartner stellen ihre Konzepte und sich selbst vor.
Start der Vertragsunterzeichnung am Nachmittag in der #Leopoldina in Halle (Saale).
#ÖvIT #Cybersicherheit #FormaleVerifikation #Innovation #Forschung #ITSecurity

Wir wollen eine neue Ära von „Cybersicherheit by Design“ und haben die Forschungs-Ausschreibung #ÖvIT der @Cyberagentur gestartet! Ziel: Beweisbare IT-Sicherheit durch formale Verifikation. #Cybersicherheit revolutionieren, indem wir komplexe Systeme sicherer und die Verifikationsmethoden zugänglicher zu machen. Bis 30.11.2023 Angebote einreichen! https://www.cyberagentur.de/gesucht-ansaetze-fuer-beweisbare-it-sicherheit-durch-formale-verifikation/
#CybersicherheitByDesign #KRITIS #FormalMethods

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/#/