DeepMind、AIでSignalの暗号保証を形式検証
注目の出来事ウォッチ中
DeepMind、AIでSignalの暗号保証を形式検証
2 件の報道2 件の報道ソース初報11月12日更新
まずはこの出来事を知る
AI概要
Google DeepMindの研究者はAIシステム「AlphaProof Code」を使い、Signalプロトコルの主要な暗号保証の一部を形式検証しました。4週間の概念実証で新たな脆弱性は見つからず、既知の脆弱性を含む旧版では問題を特定しました。 検証対象はSignalの暗号プロトコルで、モバイルアプリ全体ではありません。研究者は検証に使った仕様と証明を公開しています。
AIが報道をもとに生成 · 8時間前更新
報道のタイムライン
報道をたどり、出来事のさまざまな側面を知りましょう。
11月12日
- The DecoderGoogle DeepMind、AlphaProof CodeでSignalの暗号コアを4週間で検証
Google DeepMindは、ソフトウェアがセキュリティ仕様を満たすことを数学的に証明するAIシステム「AlphaProof Code」を発表しました。Signalの暗号プロトコルで、端末上で動く暗号コアの検証を、通常は数年かかる作業を4週間で完了しました。
11月11日
- Ars Technica · AIGoogle DeepMind、AIを用いてSignalプロトコルの主要な暗号保証を形式検証
Google DeepMindの研究者は、AIフレームワーク「AlphaProof Code」を使い、Signalプロトコルの主要な暗号保証の一部を数学的に形式検証しました。4週間で行われた概念実証では、検証対象に新たな脆弱性は見つからず、既知の脆弱性を含む旧版では問題を正しく特定しました。研究者は仕様と証明を公開しており、Signalのモバイルアプリ全体を検証したものではありません。
この出来事の注目度の推移
連続した観測データが不足しているため、トレンドは表示できません。