Beweis gegen Angriffe: Kann KI helfen, Software zu entwickeln, der wir vertrauen können?

KI macht Cyberangriffe einfacher zu starten, schwieriger zu erkennen und in viel größerem Maßstab möglich. Gleichzeitig hängt mehr im täglichen Leben von Software ab: Krankenhäuser, Energieversorgung, Verkehrssysteme, Finanzdienstleistungen und die Geräte, die wir in unseren Taschen tragen. Dieser Vortrag stellt eine einfache Frage: Was wäre notwendig, um die Software, auf die wir angewiesen sind, dramatisch sicherer zu machen? Eine Antwort kommt von formalen Methoden: Techniken, die mathematische Beweise nutzen, um zu überprüfen, ob Software wie beabsichtigt funktioniert. Bis jetzt wurden diese Methoden oft als zu spezialisiert, zu teuer oder zu langsam für den großflächigen Einsatz angesehen. Aber KI könnte das ändern. Die gleichen Fortschritte, die Angreifern helfen könnten, könnten uns auch helfen, Schwächen zu finden und zu beseitigen, bevor Systeme eingesetzt werden – was eine einzigartige Gelegenheit schafft, in eine Welt ohne Softwareanfälligkeiten zu bauen. Referent: Kathleen Fisher, Advanced Research and Invention Agency, UKTeil von CAV und FLoC 2026.