ページを読み込み中…
ページを読み込み中…
8件の記事
Microsoft Research は、Rust、Aeneas、Lean、および AI エージェントを活用し、生成された暗号アルゴリズム（特にポスト量子暗号）が標準を正しく実装していることを形式検証で証明する手法を発表した。
クラウドフレアは、プロジェクト・ガリレオの設立から12年を迎え、現在では世界中のジャーナリストや人権擁護者ら3,400以上の非営利団体に無料のサイバーセキュリティサービスを提供している。
Cloudflare は、サイト間ネットワーク向けにポスト量子暗号化を備えた IPsec プロトコルの一般提供を開始した。これにより、従来のハードルだった相互運用性と特殊なハードウェア要件のギャップが解消され、2029 年までの完全なセキュリティ目標達成に向けた一歩となった。
Cloudflareは、量子コンピュータ時代のセキュリティ対策である「耐量子暗号」への移行を加速しており、2029年までに認証を含む完全な耐量子セキュリティの実現を目標としている。同社は2019年から準備を開始し、2022年には全ウェブサイトとAPIで耐量子暗号化を有効化した。