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…
A Google DeepMind analysis has formally verified the security of the Signal protocol, a widely-used end-to-end encryption method. The protocol, also used by WhatsApp and Google Messages, has long been considered the gold standard for secure messaging. "Formal verification," a method that mathematically proves or disproves the security of cryptographic algorithms and protocols, ensures no vulnerabilities exist under all conditions.
This breakthrough, achieved through agentic AI, marks a significant step in cryptography and AI. However, the process is computationally intensive, making it unclear how practical it will be to apply widely. DeepMind researchers emphasize this is just one milestone, and scaling the verification to other software is a long-term goal.
The validation specifically confirms the protocol's security, not the entire app. Google built on previous formal verification work, and the analysis took four weeks, with undisclosed resource requirements. Despite this, the achievement is monumental.
Written by urgent.news from 9to5Mac's reporting — not their text. Machine-written — may contain errors; check the original before relying on it.
