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
WI
WIREDBy Lily Hay Newman
EXECUTIVE SUMMARY
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.”
Key Takeaways
- 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.
- Do the same for “all the software of the world.” DeepMind researchers were able to formally verify that the widely used encryption protocol works as intended.
Read Complete Original Article
Published originally on WIRED
