podcast.de
Anmeldung
Anmeldung Registrierung
Auto Hell Dunkel
Erweiterte Suche
  1. Startseite
  2. Podcasts
  3. Per Anhalter durch den Cyberraum Podcast
  4. 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.

Weitere Episoden

Der PHP-Vorfall, die Apokalypse und KI-Betriebssysteme

Der PHP-Vorfall, die Apokalypse und KI-Betriebssysteme

43 Minuten
vor 2 Tagen
Kryptokalypse 6/10: Das Hafen-Experiment

Kryptokalypse 6/10: Das Hafen-Experiment

18 Minuten
vor 3 Wochen
Live-Podcast: "Science under Threat!"

Live-Podcast: "Science under Threat!"

44 Minuten
vor 1 Monat
Kryptokalypse 5/10: Die besondere Begegnung

Kryptokalypse 5/10: Die besondere Begegnung

24 Minuten
vor 1 Monat
Von Katzen, Mäusen, Kryptologen und Quantencomputern

Von Katzen, Mäusen, Kryptologen und Quantencomputern

42 Minuten
vor 2 Monaten
Alle Episoden anzeigen
In Podcasts werben
Schalte jetzt Werbung in Podcasts.
Episode melden

„Hard- und Software sicher machen: Mit Logik und Mathe“

Worum geht es? Danach fragen wir noch nach dem Grund.

Abonnenten

Teilen

Mein Archiv

Deine Privatkopie der Folgen, die du nicht verlieren willst.

Podcast-Folgen verschwinden. Feeds werden auf die letzten Episoden gekürzt, Hoster räumen alte Dateien ab, Formate wechseln den Anbieter und lassen ihr Archiv zurück. Mit „Mein Archiv“ sichert podcast.de die Folgen deiner Podcasts für dich — angefangen bei den ältesten, denn die sind zuerst weg.

  • Deine gesicherten Folgen bleiben hörbar, auch wenn das Original offline geht.
  • Auch Folgen, die im heutigen Feed gar nicht mehr stehen — podcast.de kennt sie noch.
  • Herunterladen bleibt möglich, solange die Folge beim Podcaster liegt. Der zählt seine Abrufe wie bisher.
Startet bald

Sei beim Start von Mein Archiv dabei

Mein Archiv ist fast fertig. Trag dich ein, dann bekommst du eine E-Mail, sobald es losgeht – und bist von Anfang an dabei. Wir schreiben dir nur zum Start, keine Werbung, keine Weitergabe deiner Daten.

Du bekommst zuerst eine Bestätigungsmail. Abmelden geht jederzeit. Datenschutz