形式化驗證 相關報道

Signal 加密首次驗證到機器碼　DeepMind AI 四週完成以往數年工作

WhatsApp、Messenger 與 Google Messages 都採用 Signal 協定的變體。DeepMind 用 AlphaProof Code 在約四星期內，把參考實作的安全證明做到編譯後的機器碼；這不是證明整款 Signal App 安全，範圍只限單對單通訊。