Google DeepMind's AlphaProof Code Verified Signal's Encryption in Four Weeks
Google DeepMind used its AlphaProof Code framework to formally verify key Signal protocol cryptographic guarantees in four weeks, finding no new flaws and releasing the proof artifacts.