A New AI Tool From Google DeepMind Proved the Signal Protocol Is Secure

DeepMind researchers formally verified that the Signal Protocol works as intended. Their stretch goal is to do the same for all the software of the world.