Des chercheurs de DeepMind ont pu vérifier formellement que le protocole de chiffrement largement utilisé fonctionne comme prévu. Leur objectif le plus ambitieux ?
Lei Yu / @leiyu63 · Incroyable accomplissement ! Bravo @swarat, @antonkovsharov et toute l’équipe !
@choblin29 · INSENSÉ. Une étape majeure pour Google DeepMind. L’entreprise affirme que ses agents propulsés par Gemini Carbon …
Will Critchlow / @willcritchlow · La vérification formelle de la sécurité de Signal 👀 https://deepmind.google/... Je ne m’y attendais PAS.
Emily / @iamemily2050 · Et voilà, les prochaines semaines s’annoncent passionnantes, tant de choses formidables vont suivre.
Pushmeet Kohli / @pushmeet · Annonce d’une étape majeure franchie par mon équipe @GoogleDeepMind : nous avons prouvé des propriétés de sécurité clés du code machine sous-jacent au protocole de messagerie Signal. C’est la première fois que le véritable code de production d’un protocole largement déployé est vérifié formellement — quelle que soit la méthode, avec ou...
Sur Bluesky
Mr. Tim / @timkellogg.me · Gemini Carbon a vérifié des aspects clés du protocole Signal (messagerie chiffrée), montrant que les LLM peuvent démultiplier les capacités en matière de sécurité — à noter qu’il ne s’agissait pas simplement d’une vérification formelle du protocole : ils ont aussi vérifié le *code machine* — deepmind.google/blog/introdu...
Andrew Couts / @couts · NOUVEAU : des chercheurs de Google DeepMind ont formellement vérifié — démontré mathématiquement — le protocole Signal, qui sous-tend le chiffrement de bout en bout de Signal/WhatsApp/Google Messages. @lhn.bsky.social rapporte : www.wired.com/story/a-new-...
Sur Mastodon
@hatr@infosec.exchange · « L’analyse de DeepMind n’a révélé aucune nouvelle vulnérabilité… mais lorsque les chercheurs ont utilisé AlphaProof Code sur d’anciennes versions de Signal contenant des vulnérabilités connues et corrigées depuis longtemps, l’outil les a correctement identifiées et … le protocole n’a pas pu être vérifié formellement » — https://www.wired.com/...
