Des chercheurs de Google DeepMind, filiale d'Alphabet Inc., ont utilisé un nouveau cadre d'IA baptisé AlphaProof Code pour prouver mathématiquement plusieurs des principales garanties cryptographiques du protocole Signal. Ce projet de preuve de concept de quatre semaines n'a révélé aucune…
Google DeepMind affirme que son nouveau cadre d'IA, AlphaProof Code, a prouvé mathématiquement plusieurs garanties de sécurité fondamentales du protocole Signal lors d'un projet de quatre semaines, rapporte WIREDwired.com.
L'outil a correctement identifié des failles corrigées depuis longtemps dans les anciennes versions de Signal; le travail ne couvrait pas l'application complète et DeepMind prévoit de publier sa preuvewired.com.
Le CTO de Signal, Ehren Kret, a déclaré que ce travail apporte "une confiance encore plus grande", tandis que Google n'a pas souhaité préciser le coût ou l'éventuelle commercialisation d'un produitwired.com.