Google DeepMind’s AI agents formally verify Signal’s encryption code

Google DeepMind says AI agents have mathematically proved that the code behind Signal’s encryption keeps its main security promises. The lab announced the result on 10 November, together with a new framework called AlphaProof Code and a technical paper. The Signal protocol protects chats in the Signal app, WhatsApp, Messenger and Google Messages. DeepMind’s researchers […]
This story continues at The Next Web