Source Wired · Published · Open the original ↗
Labs
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. Their stretch goal? Do the same for “all the software of the world.”
Wired publishes this report on its own site. Supence shows only what the publisher allows to be quoted.