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.
Essayez Moon AI sur vos propres questions.
Claude, GPT, Gemini et plus de 100 modèles dans un seul espace. Moon Blur masque les données sensibles détectées avant l’envoi. La formule gratuite ne demande pas de carte bancaire.