Podcast
Podcaster
Per Anhalter durch den Cyberraum
Du folgst jetzt diesem Podcast.
Beschreibung
vor 5 Monaten
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.
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.
Weitere Episoden
47 Minuten
vor 3 Tagen
18 Minuten
vor 3 Wochen
41 Minuten
vor 1 Monat
16 Minuten
vor 1 Monat
48 Minuten
vor 2 Monaten
Kommentare (0)
Melde Dich an, um einen Kommentar zu schreiben.