1. DeepMind、AIでSignal暗号プロトコル実装を形式検証

    [SECURITY]

    Google DeepMindは、複数のAIエージェントと専門家の知見を組み合わせ、Signalの暗号プロトコル実装に関する主要な安全性を数学的に検証したと発表した。