Recherche
Et si l'IA pouvait prouver qu'un logiciel est sécurisé ? Google DeepMind a tenté l'expérience avec Signal
Clubic ·
L’essentiel
- Google DeepMind a utilisé une nouvelle IA pendant quatre semaines pour vérifier plusieurs garanties cryptographiques du protocole Signal.
- L'expérience vise à contrôler la sécurité d'un logiciel par une preuve plutôt que par des tests seuls.
- Clubic présente ce travail comme une piste qui pourrait changer la manière dont les chercheurs contrôlent la sécurité des logiciels.
Pourquoi c’est important
Si cette approche se généralise, les développeurs de logiciels chiffrés pourraient disposer d'outils capables de prouver certaines propriétés de sécurité de leur code. La source ne décrit cependant que l'expérience, sans outil accessible ni résultat chiffré détaillé.
Qui est concerné
- Chercheurs en cryptographie et en sécurité logicielle
- Équipes développant des messageries chiffrées
- #ia
- #cryptographie
- #signal
- #sécurité logicielle
- #vérification formelle
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.