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
