Signal

Google DeepMind Alphabet Inc. researchers used a new AI framework called AlphaProof Code to mathematically prove several of the Signal protocol's main cryptographic guarantees. The four-week proof-of-concept project found no new vulnerabilities in the parts of the protocol it examined,…