Preuves contre l'attaque : L'IA peut-elle aider à construire des logiciels dignes de confiance ?

L'IA facilite le lancement des cyberattaques, les rend plus difficiles à détecter et possibles à une échelle beaucoup plus grande. En même temps, une plus grande partie de la vie quotidienne dépend des logiciels : hôpitaux, réseaux électriques, systèmes de transport, services financiers et les dispositifs que nous portons dans nos poches. Cette conférence pose une question simple : que faudrait-il pour rendre les logiciels sur lesquels nous comptons nettement plus sûrs ? Une réponse provient des méthodes formelles : des techniques qui utilisent une preuve mathématique pour vérifier que le logiciel se comporte comme prévu. Jusqu'à présent, ces méthodes ont souvent été considérées comme trop spécialisées, trop coûteuses ou trop lentes pour un usage répandu. Mais l'IA pourrait changer cela. Les mêmes avancées qui pourraient aider les attaquants pourraient également nous aider à identifier les faiblesses et à les supprimer avant que les systèmes ne soient déployés – créant ainsi une opportunité unique de construire un monde sans vulnérabilités logicielles. Intervenante : Kathleen Fisher, Agence de recherche et d'invention avancée, Royaume-Uni Fait partie de CAV et FLoC 2026.