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

Google DeepMind researchers formally verified the Signal Protocol, an encryption standard used in messaging applications, confirming it functions as specified. The verification was conducted using formal methods, a mathematical approach to prove software correctness. DeepMind stated a longer-term goal of formally verifying security properties across a broader range of software systems.

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

Next story