A New AI Tool From Google DeepMind Proved the Signal Protocol Is Secure
Image supplied with the source report: Wired.

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…

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.”

Source disclosure

This is a source-linked briefing. Read the original report from Wired .

Technology deepmind google end-to-end encryption