Show threadMarcel RothMar 12

🎧 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

Hard- und Software sicher machen - mit Logik und Mathe

Es ist eines der grundlegendsten Forschungsvorhaben der Cyberagentur: formale Verifikation. Sie kann mit Logik und Mathe beweisen, dass eine Soft- oder Hardware sicher ist. Welche enormen Auswirkungen das auf unsere IT haben kann, bespricht Marcel mit zwei Informatikern: Dr. Dirk Pollmächer von der Cyberagentur und Dr. Sebastian Ertel vom Barkhausen Institut. Eine Vision der beiden: mit formaler Verifikation lässt sich auch KI grundlegend sicher machen.

Per Anhalter durch den Cyberraum
OVnieuws-InfoOct 27

In beeld: De ATO-RTO Test-Vectron van DB Cargo - https://www.treineninnederland.nl/2025-10-27_De_ATO-RTO_Test-Vectron_van_DB_Cargo.html

#DBCargo #ProRail #DLR #Hitachi #Remoot #OVIT #BetuweRoute #ATO #RTO #Treinennieuws #Treinleven #Railways #Eisenbahn

CyberagenturJan 20, 2025
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
Ein Meilenstein fĂĽr IT-Sicherheit in Deutschland - Cyberagentur

Cyberagentur unterzeichnet fünf Verträge für das Forschungsprogramm „Ö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 […]

Cyberagentur
Science NewsJan 20, 2025
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
Cyberagentur signs five contracts for the "Verifiably secure IT ecosystem" research program

idw_onlineJan 20, 2025
20.01.25: Meilenstein für IT-Sicherheit! Vertragsabschluss @CybAgBund mit 5 Partnern für „Ökosystem vertrauenswürdige IT“ (ÖvIT) für beweisbare IT-Sicherheit und ein globales Netzwerk von Experten.
#Ă–vIT #Cybersicherheit #FormaleVerifikation #Innovation
https://nachrichten.idw-online.de/2025/01/20/cyberagentur-unterzeichnet-5-vertraege-fuer-das-forschungsprojekt-oekosystem-vertrauenswuerdige-it
Cyberagentur unterzeichnet 5 Verträge für das Forschungsprojekt „Ökosystem vertrauenswürdige IT“

CyberagenturJan 20, 2025
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
CyberagenturSep 11, 2023
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
idw_onlineSep 11, 2023
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
Gesucht: Ansätze für beweisbare IT-Sicherheit durch formale Verifikation

CyberagenturFeb 16, 2023
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.
Show threadCyberagenturFeb 3, 2023
@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.