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.
Shownotes
Zu Gast sind
- Dr. Dirk Pollmächer bei der Cyberagentur für vertrauenswürdige IT zuständig.
- Dr. Sebastian Ertel, Informatiker am Barkhausen Institut in Dresden.
Empfehlt unseren Podcast, beweist uns das und gewinnt ein exklusives Cyber-Handtuch.
Was seht ihr als derzeit wohl größte Bedrohung der Cybersicherheit an? Hinterlasst eine Sprachnachricht auf unserem AB unter der Telefonnummer: +49 345 78288037. Wenn ihr nicht möchtet, dass eure Sprachnachricht im Podcast veröffentlicht wird, dann sagt uns zu Beginn der Sprachnachricht bescheid.
Ihr könnt auch eine E-Mail schreiben podcast@cyberagentur.de
Die Cyberagentur ist auch bei LinkedIn, Instagram, Mastodon und X.
Links zur Folge
Die Seite zum Projekt der Cyberagentur: formale Verifikation Infoveranstaltung zu formaler Verifikation: online jeden dritten Dienstag im Monat um 14:00 Uhr.
Der Workshop zum Projekt im Juni in Lissabon.
Christoph Drösser in der „Zeit“: Eine neue Mathematik. Er schreibt: „Bislang galt: Computer können rechnen, aber mathematische Beweise bleiben Kopfarbeit. Doch ein neues Verfahren könnte die Lösung großer Probleme revolutionieren“
Sebastians Empfehlung zum Einlesen: über formale Logik und Argumentationstheorie Materialien Uni Hannover.
Kapitel
Dr. Dirk Pollmächer von der Cyberagentur stellt sich vor.
Dr. Sebastian Ertel vom Barkhausen-Institut stellt sich vor.
Die wichtigsten Fakten zum ÖvIT-Projekt der Cyberagentur.
Was formale Verifikation bedeutet.
Wie lässt sich beweisen, dass eine Software sicher ist.
Marieke Petersen von der Gesellschaft für Informatik: Warum formale Verifikation für die Informatik so wichtig ist.
Formale Verifikation bei Hard- und Software.
Wird formale Verifikation: in Zukunft günstiger?
Formal verifizierte sichere Hardware – wie ginge das?
Warum KI und formale Verifikation zusammengehören und wie uns das Sorgen vor falschen KI-Ausgaben nehmen kann.
Eine Grundfrage bleibt: Wie lässt sich Vertrauen herstellen?
Marieke Petersen von der Gesellschaft für Informatik: Wie sich eine Community für formale Verifikation schaffen lässt.
Trustworthy Tuesday
Die Zukunft der formalen Verifikation.