Research
A New AI Tool From Google DeepMind Proved the Signal Protocol Is Secure
WIRED · By Lily Hay Newman ·
The Brief
- Google DeepMind researchers used an AI tool to formally verify that the Signal Protocol works as intended.
- The researchers' stated stretch goal is to do the same for "all the software of the world."
Why it matters
Formal verification of a widely used encryption protocol shows that AI-assisted proof tools can check security-critical code, which may matter for how teams verify cryptographic software.
Who’s affected
- Teams that rely on the Signal Protocol
- Developers of encrypted messaging and security-critical software
- #encryption
- #formal-verification
- #signal-protocol
- #ai
- #google-deepmind
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.”