Google DeepMind verified Signal’s encryption down to machine code

Google DeepMind researchers used a new AI framework called AlphaProof Code to mathematically verify key security guarantees in the compiled code behind the Signal Protocol. The proofs cover how the protocol establishes encrypted conversations and protects messages when an attacker temporarily obtains a device’s cryptographic keys.