Dowód przeciw atakowi: Czy AI może pomóc w budowaniu oprogramowania, któremu można zaufać?

AI ułatwia przeprowadzanie cyberataków, utrudnia ich wykrywanie i umożliwia działania na znacznie większą skalę. Jednocześnie coraz więcej aspektów codziennego życia zależy od oprogramowania: szpitale, sieci energetyczne, systemy transportowe, usługi finansowe oraz urządzenia, które nosimy w kieszeniach. To wystąpienie stawia proste pytanie: co by było potrzebne, aby oprogramowanie, na którym polegamy, stało się znacznie bezpieczniejsze? Jedną z odpowiedzi są metody formalne: techniki, które wykorzystują dowody matematyczne, aby sprawdzić, czy oprogramowanie działa zgodnie z zamierzeniami. Do tej pory metody te często postrzegano jako zbyt specjalistyczne, zbyt kosztowne lub zbyt wolne do powszechnego użytku. Ale AI może to zmienić. Te same osiągnięcia, które mogą pomóc atakującym, mogą również pomóc nam znaleźć słabości i usunąć je przed wdrożeniem systemów – tworząc unikalną okazję do budowania świata bez podatności w oprogramowaniu. Prelegent: Kathleen Fisher, Agencja Zaawansowanych Badań i Wynalazków, Wielka Brytania Część CAV i FLoC 2026.