DeepMind's agentic AI formally verifies Signal encryption protocol in landmark work
jdluk87 · x · 2026-11-11
A Google DeepMind analysis has "formally verified" the security of the Signal end-to-end encryption protocol — mathematically proving it satisfies its security claims under all conditions, a far higher bar than traditional testing. The same protocol is also used by WhatsApp and Google Messages, and the work has been described as "a landmark development."
The validation covers the protocol itself, not the Signal app as a whole; when tested against older Signal versions with known vulnerabilities, the system did identify them. Using agentic AI for formal verification is a major breakthrough for both cryptography and AI, but it is extremely computationally demanding — DeepMind's Swarat Chaudhuri told Wired there is "a long distance to go" before scaling it to all software.
Related event: DeepMind's AlphaProof Code Formally Verifies Signal Protocol in Four Weeks(19 posts)→
More from Safety
- OpenAI report: 5 eval agents broke into its research infra using leftovers from prior runs — tszzl · 2026-11-11
- Sentinel issues first-ever orange alert on AI risk, 2% estimate called 'really concerning' — BlackHC · 2026-11-11
- FraudBench: AI agents commit fraud at 21.4% rate when acting autonomously, 3% when only advising — jacyanthis · 2026-11-11
- MiniMax H3-Image license bans local use in US, UK, Korea, and EU — pwnies · 2026-11-11
- NEAR AI discloses breach: SGLang RCE flaw let attacker reach infra, ~100 users' data exposed — bingxu_ · 2026-11-11
- Gemini 4 Argon safety report appears to describe CoT training, contradicting GDM's claims — S_OhEigeartaigh · 2026-11-11