Hard- und Software sicher machen - mit Logik und Mathe

Episode von Per Anhalter durch den Cyberraum von Cyberagentur · 12. März 2026 · 45 min

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 von „Per Anhalter durch den Cyberraum“

• Von Katzen, Mäusen, Kryptologen und Quantencomputern 10. September 2026
• Kryptokalypse 4/10 Das gelöste Rätsel 20. August 2026
• KI: Werkzeug, Waffe und williges Opfer? 13. August 2026
• Kryptokalypse 3/10: Das unsichere Schloss 23. Juli 2026
• Sexy und cybersicher - So arbeitet die Verwaltung der Zukunft 9. Juli 2026
• Kryptokalypse 2/10: Das unsichtbare Muster 25. Juni 2026
• Cybercrime der Zukunft 11. Juni 2026
• Kryptokalypse 1/10: Der perfekte Ton 28. Mai 2026
• Beyond Line Of Sight - Marine, U-Boote und Cybersicherheit 14. Mai 2026
• Mehr Cybersicherheit für Quantencomputer - mit Science Fiction! 9. April 2026
• Richtig Geld ausgeben - Wie die Cyberagentur Forschung beauftragt 12. Februar 2026

Alle Episoden von Per Anhalter durch den Cyberraum · Mehr Technologie-Podcasts