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.