#formaleverifikation — 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

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

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

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

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