Mastodawn

🎧 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

Show thread

Marcel Roth Mar 12

Und am Ende der Folge nimmt Sebastian mir meine Sorgen vor KI – denn auch sie lässt sich sicher machen. Sebastian meint: Wer #KI sagt, muss immer auch formale Verifikation sagen.
Was ich bei der Folge auch gelernt habe: Wo Mathe und Informatik draufsteht, steckt mitunter Philosophie drin. 🤯
Viel Spaß beim Hören!

@Cyberagentur
#Podcast #formaleverifikation #trustworthyIT #KI

Cyberagentur Jan 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

idw_online Jan 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“

Cyberagentur Jan 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