Google DeepMind melds humans and AI agents to vet Signal's secure messaging techniques

Google DeepMind researchers have completed a formal verification of Signal's messaging security, marking what they claim is the first time AI has helped devise a proof that links protocol-level security guarantees to a widely used cryptographic implementation. They did so using AlphaProof Code, a multi-agent framework for formal software specification and verification.

Summary from The Register Security.

Explained

The technology and terms in this story. Learn more

More in AI