Et si l'IA pouvait prouver qu'un logiciel est sécurisé ? Google DeepMind a tenté l'expérience avec Signal
Source : Clubic
Publié le : mardi 10 novembre 2026 à 16:52
Durant quatre semaines, Google DeepMind a utilisé une nouvelle IA pour vérifier plusieurs garanties cryptographiques du protocole Signal. Une expérience qui pourrait changer la manière dont les chercheurs contrôlent la sécurité des logiciels.