Hi-tech2 médias2 articles Mis à jour le 11 novembre à 10 h 06

Google DeepMind vérifie le protocole Signal avec une IA

Photo publiée par Clubic (article « Et si l'IA pouvait prouver qu'un logiciel est sécurisé ? Google DeepMind a tenté l'expérience avec Signal ») · voir l’article

Google DeepMind a utilisé une nouvelle IA pendant quatre semaines pour vérifier plusieurs garanties cryptographiques du protocole Signal. Selon les articles, des agents d'IA ont démontré que le code au cœur du chiffrement de Signal respecte ses principales garanties de sécurité. Il s'agit d'une première pour un logiciel aussi largement déployé, mais l'expérience comporte des limites.

Ouvrir dans Comptoir

Ce qu’en disent les médias

10:06 Numerama À la recherche de la preuve parfaite : Google a lâché 80 agents IA sur le code de Signal pour prouver qu’il était sûr
10/11 18:00 Clubic Et si l'IA pouvait prouver qu'un logiciel est sécurisé ? Google DeepMind a tenté l'expérience avec Signal

Comptoir rassemble les articles des médias par sujet. Chaque titre ci-dessus mène à l’article chez son éditeur. Mentions légales