コンフィデンシャルコンピューティングの信頼メカニズムは破綻している。修正方法は存在しないかもしれない
ベンダー各社は「コンフィデンシャルコンピューティング」を、欧州のソブリンクラウド構想を支える技術的基盤として位置づけようとしています。しかし新たな研究によると、システム内で暗号学的な信頼を証明するために使われるセキュリティプロトコルには、根本的なアーキテクチャ上の欠陥がある可能性があるといいます。コンフィデン
タグ: 形式検証
コンフィデンシャルコンピューティングの信頼メカニズムの中核が破綻——修正できない可能性
ベンダー各社は「コンフィデンシャルコンピューティング」を、欧州の主権クラウド構想を支える技術的な柱として位置づけようとしています。しかし新たな研究により、システムにおける暗号学的信頼を証明するために使われるセキュリティプロトコルに、根本的なアーキテクチャ上の欠陥がある可能性が明らかになりました。コンフィデンシ
Appleが量子耐性暗号をオープンソース化
Appleは、corecryptoにおけるポスト量子暗号の実装を、独立した専門家による評価のための数学的証明および検証ツールとともに公開し、外部の研究者が成果をレビューし、同社の分析を再現できるようにした。 ポスト量子暗号は、広く使われている公開鍵暗号アルゴリズムを破る可能性のある将来の量子コンピュー
Appleが量子耐性暗号コードをオープンソース化
Appleは量子耐性暗号コードと、そのコードの正確性を証明するために開発した数学的検証ツールを公開し、独立したレビューと業界全体での幅広い利用に向けて一般公開した。 今回のリリースには、量子安全アルゴリズムであるML-KEMとML-DSAの2つの実装と、その正確性を検証するためにAppleが作成した形式検証ライブラリ