Google DeepMind researchers used a new artificial intelligence framework called AlphaProof Code to mathematically prove the security of the Signal protocol. The four-week project independently verified the encryption securing Signal, WhatsApp, and Google Messages.
FireBrief
FireBrief