Et si l’IA pouvait prouver qu’un logiciel est sécurisé ? Google DeepMind a tenté l’expérience avec Signal

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.