# Signal : Google DeepMind fait vérifier son chiffrement par une IA

DeepMind a utilisé une IA pour prouver mathématiquement des propriétés de sécurité de Signal. Ce que cela change pour les DSI français.

Auteur : Veille Moon AI
Catégorie : Sécurité
Publié le : 2026-11-11T16:22:14+00:00
Mis à jour le : 2026-11-11T16:22:14+00:00

Un logiciel peut passer des milliers de tests sans que cela garantisse l'absence de faille. La vérification formelle propose une autre voie : démontrer, par le calcul mathématique, qu'un programme respecte exactement les propriétés de sécurité attendues de lui. La méthode existe depuis des décennies, mais elle est si coûteuse en travail humain qu'elle reste réservée à de rares projets critiques. Google DeepMind vient de tester si l'intelligence artificielle pouvait changer cette équation, en s'attaquant à l'un des protocoles de chiffrement les plus utilisés au monde : celui qui protège Signal, WhatsApp et Google Messages.

© 2026 Stellarr Studio SAS. Tous droits réservés. Moon AI, Moon Blur et Stellarr Studio sont des marques déposées à l’INPI.