Signal协议に関するニュース

DeepMindがAIでSignalプロトコルの安全性を証明、次の目標はあらゆるソフトウェア

Google DeepMindの研究チームがAIツールを活用し、広く使われているSignal暗号化プロトコルの形式的検証（formal verification）を完了した。数学的証明によってプロトコルが設計通りに機能することを確認し、将来