Google DeepMind's AlphaProof Code proves key security properties of Signal's code at the machine-code level

Google DeepMind introduced AlphaProof Code, a multi-agent system that proved forward secrecy, authentication, post-compromise security and handshake secrecy fo…