DeepMind researchers were able to formally verify that the widely used encryption protocol works as intended. Their stretch goal? Do the same for “all the software of the world.”
A New AI Tool From Google DeepMind Proved the Signal Protocol Is Secure
DeepMind researchers were able to formally verify that the widely used encryption protocol works as intended. Their stretch goal? Do the same for “all the software of the world.”
buff.ly
November 10, 2026 at 5:08 AM
DeepMind researchers were able to formally verify that the widely used encryption protocol works as intended. Their stretch goal? Do the same for “all the software of the world.”
i’m really disappointed in deepmind lmao
November 8, 2026 at 8:52 AM
i’m really disappointed in deepmind lmao
Does @opensource.google count? You can interact with some deepmind folks here too
November 9, 2026 at 8:14 PM
Does @opensource.google count? You can interact with some deepmind folks here too
NEW: Google DeepMind researchers have formally verified—mathematically proven—the Signal protocol that underpins Signal/WhatsApp/Google Messages e2e encryption. @lhn.bsky.social reports: www.wired.com/story/a-new-...
A New AI Tool From Google DeepMind Proved the Signal Protocol Is Secure
DeepMind researchers were able to formally verify that the widely used encryption protocol works as intended. Their stretch goal? Do the same for “all the software of the world.”
www.wired.com
November 10, 2026 at 12:52 PM
NEW: Google DeepMind researchers have formally verified—mathematically proven—the Signal protocol that underpins Signal/WhatsApp/Google Messages e2e encryption. @lhn.bsky.social reports: www.wired.com/story/a-new-...
We definitely think the Google Deepmind team would do well on Bluesky. We'll need to plant a few Atmospheric seeds.
November 10, 2026 at 4:06 PM
We definitely think the Google Deepmind team would do well on Bluesky. We'll need to plant a few Atmospheric seeds.
DeepMind AI formally checks Signal 🤖
Google DeepMind's AlphaProof Code AI formally verified key cryptographic guarantees in the Signal protocol, finding no new flaws.
Google DeepMind's AlphaProof Code AI formally verified key cryptographic guarantees in the Signal protocol, finding no new flaws.
November 10, 2026 at 7:00 AM
DeepMind AI formally checks Signal 🤖
Google DeepMind's AlphaProof Code AI formally verified key cryptographic guarantees in the Signal protocol, finding no new flaws.
Google DeepMind's AlphaProof Code AI formally verified key cryptographic guarantees in the Signal protocol, finding no new flaws.
Google DeepMind analysis proves Signal and WhatsApp encryption is secure
Google DeepMind analysis proves Signal and WhatsApp encryption is secure
The Signal protocol has long been considered the gold standard for end-to-end encrypted messaging, with Edward Snowden a notable advocate. Now a Google DeepMind analysis has “formally verified” the security of the protocol.
In addition to its use in the Signal app, the same protocol is also used by WhatsApp and Google Messages, and the work has been described as “a landmark development” …
more…
9to5mac.com
November 10, 2026 at 12:52 PM
Google DeepMind analysis proves Signal and WhatsApp encryption is secure
ИИ-агенты Google DeepMind удешевляют атаку на RSA-ключи длиной 1024 бита
Работая с криптографами, ИИ-агенты DeepMind снизили стоимость подделки подписей RSA-1024 и нашли более дешевый способ факторизации ключей.
Telegram ИИ Дайджест
#ai #aiagents #deepmind
Работая с криптографами, ИИ-агенты DeepMind снизили стоимость подделки подписей RSA-1024 и нашли более дешевый способ факторизации ключей.
Telegram ИИ Дайджест
#ai #aiagents #deepmind
Google DeepMind’s AI Agents Make 1024-Bit RSA Keys Cheaper to Attack
www.securityweek.com
November 9, 2026 at 12:07 PM
ИИ-агенты Google DeepMind удешевляют атаку на RSA-ключи длиной 1024 бита
Работая с криптографами, ИИ-агенты DeepMind снизили стоимость подделки подписей RSA-1024 и нашли более дешевый способ факторизации ключей.
Telegram ИИ Дайджест
#ai #aiagents #deepmind
Работая с криптографами, ИИ-агенты DeepMind снизили стоимость подделки подписей RSA-1024 и нашли более дешевый способ факторизации ключей.
Telegram ИИ Дайджест
#ai #aiagents #deepmind
A New AI Tool From Google DeepMind Proved the Signal Protocol Is Secure #cybersecurity #hacking #news #infosec #security #technology #privacy
A New AI Tool From Google DeepMind Proved the Signal Protocol Is Secure
DeepMind researchers were able to formally verify that the widely used encryption protocol works as intended. Their stretch goal? Do the same for “all the software of the world.”
www.wired.com
November 10, 2026 at 1:58 PM
A New AI Tool From Google DeepMind Proved the Signal Protocol Is Secure #cybersecurity #hacking #news #infosec #security #technology #privacy
Google DeepMind melds humans and AI agents to vet Signal's secure messaging techniques
Google DeepMind melds humans and AI agents to vet Signal's secure messaging techniques
Post-quantum handshake and Triple Ratchet get a formal security check
www.theregister.com
November 10, 2026 at 12:02 PM
Google DeepMind melds humans and AI agents to vet Signal's secure messaging techniques
we do already have @gusthema.bsky.social here from deepmind that i know of
November 10, 2026 at 5:39 PM
we do already have @gusthema.bsky.social here from deepmind that i know of
Sofia Liguori was an AI research engineer at Google DeepMind but recently quit because of her employers military contracts with the U.S and Israel that she says were helping to kill people.
Listen to They Uses To Be... for the full chat podcasts.apple.com/au/podcast/w...
Listen to They Uses To Be... for the full chat podcasts.apple.com/au/podcast/w...
November 8, 2026 at 9:01 PM
Sofia Liguori was an AI research engineer at Google DeepMind but recently quit because of her employers military contracts with the U.S and Israel that she says were helping to kill people.
Listen to They Uses To Be... for the full chat podcasts.apple.com/au/podcast/w...
Listen to They Uses To Be... for the full chat podcasts.apple.com/au/podcast/w...
Meet AI Engineer Who Resigned from DeepMind over "Google's Complicity in the Gaza Genocide" www.democracynow.org/2026/10/29/s... #Google #DeepMind #TechFascism #Gaza #genocide #RegulateTech #oligarchs #GoogleAI #BanAI
Meet AI Engineer Who Resigned from DeepMind over “Google’s Complicity in the Gaza Genocide”
Several tech workers at Google’s AI unit DeepMind have resigned in protest over the tech giant’s work with the U.S. and Israeli militaries. Last week, DeepMind research engineer Sofia Liguori announce...
www.democracynow.org
November 9, 2026 at 1:23 PM
Meet AI Engineer Who Resigned from DeepMind over "Google's Complicity in the Gaza Genocide" www.democracynow.org/2026/10/29/s... #Google #DeepMind #TechFascism #Gaza #genocide #RegulateTech #oligarchs #GoogleAI #BanAI
A New AI Tool From Google DeepMind Proved the Signal Protocol Is Secure
WIRED Security
https://www.wired.com/story/a-new-ai-tool-from-google-deepmind-formally-verified-the-signal-protocol/
Support →
WIRED Security
https://www.wired.com/story/a-new-ai-tool-from-google-deepmind-formally-verified-the-signal-protocol/
Support →
A New AI Tool From Google DeepMind Proved the Signal Protocol Is Secure
WIRED Security
www.wired.com
November 10, 2026 at 5:26 AM
A New AI Tool From Google DeepMind Proved the Signal Protocol Is Secure
WIRED Security
https://www.wired.com/story/a-new-ai-tool-from-google-deepmind-formally-verified-the-signal-protocol/
Support →
WIRED Security
https://www.wired.com/story/a-new-ai-tool-from-google-deepmind-formally-verified-the-signal-protocol/
Support →
Google DeepMind researchers used agentic AI framework AlphaProof Code to verify the Signal protocol's cryptographic guarantees, in a four-week proof-of-concept (Lily Hay Newman/Wired)
Main Link | Techmeme Permalink
Main Link | Techmeme Permalink
November 10, 2026 at 11:56 AM
Google DeepMind researchers used agentic AI framework AlphaProof Code to verify the Signal protocol's cryptographic guarantees, in a four-week proof-of-concept (Lily Hay Newman/Wired)
Main Link | Techmeme Permalink
Main Link | Techmeme Permalink
openai, xAI, deepmind, anthropic, meta all have outstanding debt, been implicated in deaths in various lanes. dems promising ends to mass layoffs, ai psychosis & constant slop & dystopian surveillance, its a winning message but has to result in tangible action. the next few years are critical
November 8, 2026 at 4:02 PM
openai, xAI, deepmind, anthropic, meta all have outstanding debt, been implicated in deaths in various lanes. dems promising ends to mass layoffs, ai psychosis & constant slop & dystopian surveillance, its a winning message but has to result in tangible action. the next few years are critical
Google DeepMind reports AI-assisted methods that reduce the cost of RSA-1024 signature forgery and repeated key factoring. The findings concern legacy 1024-bit systems; modern 2048-bit-or-larger keys remain secure, the researchers say.
Google DeepMind AI Agents Reduce the Cost of Attacking RSA-1024
Google DeepMind reports AI-assisted methods that reduce the cost of RSA-1024 signature forgery and repeated key factoring. The findings concern legacy…
cyber.hendryadrian.com
November 9, 2026 at 9:12 AM
Google DeepMind reports AI-assisted methods that reduce the cost of RSA-1024 signature forgery and repeated key factoring. The findings concern legacy 1024-bit systems; modern 2048-bit-or-larger keys remain secure, the researchers say.
Sounds like Google DeepMind have some scientific discovery news coming in the next few weeks.
x.com/pushmeet/st...
x.com/pushmeet/st...
November 9, 2026 at 9:32 AM
Sounds like Google DeepMind have some scientific discovery news coming in the next few weeks.
x.com/pushmeet/st...
x.com/pushmeet/st...
‼️ Google DeepMind says its AI agents found two new attacks on 1024-bit RSA.
The first forges signatures. When an attacker controls only a small part of the signed data, DeepMind estimates it is about 1,600 times faster than the previous best.
The first forges signatures. When an attacker controls only a small part of the signed data, DeepMind estimates it is about 1,600 times faster than the previous best.
November 8, 2026 at 9:02 PM
‼️ Google DeepMind says its AI agents found two new attacks on 1024-bit RSA.
The first forges signatures. When an attacker controls only a small part of the signed data, DeepMind estimates it is about 1,600 times faster than the previous best.
The first forges signatures. When an attacker controls only a small part of the signed data, DeepMind estimates it is about 1,600 times faster than the previous best.
It made no mistakes.
Google DeepMind analysis proves Signal and WhatsApp encryption is secure https://9to5mac.com/2026/11/10/google-deepmind-analysis-proves-signal-and-whatsapp-encryption-is-secure/?utm_source=dlvr.it&utm_medium=mastodon
mastodon.online
November 10, 2026 at 1:00 PM
It made no mistakes.
A New AI Tool From Google DeepMind Proved the Signal Protocol Is Secure
www.wired.com/story/a-new-...
www.wired.com/story/a-new-...
A New AI Tool From Google DeepMind Proved the Signal Protocol Is Secure
DeepMind researchers were able to formally verify that the widely used encryption protocol works as intended. Their stretch goal? Do the same for “all the software of the world.”
www.wired.com
November 10, 2026 at 11:05 AM
A New AI Tool From Google DeepMind Proved the Signal Protocol Is Secure
www.wired.com/story/a-new-...
www.wired.com/story/a-new-...
A New AI Tool From Google DeepMind Proved the Signal Protocol Is Secure www.wired.com/story/a-new-...
A New AI Tool From Google DeepMind Proved the Signal Protocol Is Secure
DeepMind researchers were able to formally verify that the widely used encryption protocol works as intended. Their stretch goal? Do the same for “all the software of the world.”
www.wired.com
November 10, 2026 at 5:16 AM
A New AI Tool From Google DeepMind Proved the Signal Protocol Is Secure www.wired.com/story/a-new-...
A New AI Tool From Google DeepMind Proved the Signal Protocol Is Secure
DeepMind researchers were able to formally verify that the widely used encryption protocol works as intended. Their stretch goal? Do the same for “all the software of the world.”
Via Wired
DeepMind researchers were able to formally verify that the widely used encryption protocol works as intended. Their stretch goal? Do the same for “all the software of the world.”
Via Wired
A New AI Tool From Google DeepMind Proved the Signal Protocol Is Secure
www.wired.com
November 10, 2026 at 5:36 AM
A New AI Tool From Google DeepMind Proved the Signal Protocol Is Secure
DeepMind researchers were able to formally verify that the widely used encryption protocol works as intended. Their stretch goal? Do the same for “all the software of the world.”
Via Wired
DeepMind researchers were able to formally verify that the widely used encryption protocol works as intended. Their stretch goal? Do the same for “all the software of the world.”
Via Wired
A New AI Tool From Google DeepMind Proved the Signal Protocol Is Secure
Source: WIRED
https://wesearch.press/s/a-new-ai-tool-from-google-deepmind-proved-the-signal-protoco-667ae52a?utm_source=social&utm_medium=auto&utm_campaign=bluesky
Source: WIRED
https://wesearch.press/s/a-new-ai-tool-from-google-deepmind-proved-the-signal-protoco-667ae52a?utm_source=social&utm_medium=auto&utm_campaign=bluesky
November 10, 2026 at 6:15 AM
A New AI Tool From Google DeepMind Proved the Signal Protocol Is Secure
Source: WIRED
https://wesearch.press/s/a-new-ai-tool-from-google-deepmind-proved-the-signal-protoco-667ae52a?utm_source=social&utm_medium=auto&utm_campaign=bluesky
Source: WIRED
https://wesearch.press/s/a-new-ai-tool-from-google-deepmind-proved-the-signal-protoco-667ae52a?utm_source=social&utm_medium=auto&utm_campaign=bluesky