France
The Morning Dev

L'essentiel, rien que l'essentiel

‹
 

Recherche2 sources

À 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

Numerama · Par Amine Baba Aissa ·

À 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

L’essentiel · rédigé à partir de 2 sources

  • Google DeepMind a utilisé des agents d'IA pendant quatre semaines pour vérifier plusieurs garanties cryptographiques du protocole Signal.
  • Selon Numerama, ces agents ont démontré que le code au cœur du chiffrement de Signal respecte ses principales garanties de sécurité.
  • L'expérience comporte néanmoins des limites que les sources ne détaillent pas en profondeur.

Pourquoi c’est important

L'expérience montre qu'une IA peut aider à prouver des propriétés de sécurité d'un logiciel largement déployé, ce qui pourrait modifier la façon dont les chercheurs contrôlent la sécurité des logiciels.

Qui est concerné

  • Développeurs de logiciels de messagerie chiffrée
  • Équipes qui s'appuient sur le protocole Signal

Des agents d’IA de Google DeepMind ont démontré que le code au cœur du chiffrement de Signal respecte ses principales garanties de sécurité. Une première pour un logiciel aussi largement déployé, qui comporte néanmoins des limites.

Lire l’article complet sur numerama.com ↗

Chronologie

  1. Publication des résultats de l'expérience menée sur le protocole Signal

  2. Feed Clubic (Cybersécurité)

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

  3. Cyberguerre : les articles et enquêtes de la rédaction de 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

Toute la couverture · 2 sources

Qu’en pensez-vous ?

0 commentaire