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

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