#ML-KEM 関連記事 | AI Edgeline

Kestrel、難読化バイナリ内のPQCアルゴリズムを静的検出 — 移行保証とフォレンジックに活用

ポスト量子暗号（PQC）アルゴリズムを難読化されたバイナリコードから静的に検出する新手法「Kestrel（ケストレル）」が、2026年8月25日(現地時間)に論文公開プラットフォームarXivで発表された。この手法は、シンボルやライブラリ依存性、実行時挙動が失われたバイナリでも、標準化された格子ベースの暗号方式であるML-KEMおよびML-DSAを識別できる。デジタルフォレンジックや移行保証への応用が期待される。

【速報】Microsoft、SymCryptでRust暗号の形式検証を公開

Microsoftは2026年7月13日(現地時間)、セキュリティ保証を高めるため、SymCryptにおけるRust暗号の形式検証に関する進捗を発表した。同社はRust、Aeneas、Leanを用いて、生産環境で使用される暗号アルゴリズムの形式検証をスケールアップしている。特にSHA-3とML-KEMの検証済みコード、仕様、プロパティ、証明を公開し、現在Windowsのインサイダービルドに導入されていることを明らかにした。