Google DeepMind has formally verified the security of the Signal protocol, a major milestone for end-to-end encryption. The protocol, used by Signal, WhatsApp, and Google Messages, has been mathematically proven to satisfy its security claims under all conditions. This formal verification, carried out using agentic AI, represents a breakthrough in cryptography, going beyond traditional testing methods that only identify known vulnerabilities.
The research confirms the protocol's robustness, even flagging older, vulnerable versions of Signal as failing verification. While computationally demanding and not yet scalable to all software, the achievement marks a significant step forward. The validation applies specifically to the protocol itself, not the entire Signal app, but it reinforces confidence in the encryption standards underpinning these widely used messaging platforms.
Source: 9to5Mac · Summarized by HeadlinesBriefing