ポスト量子暗号（PQC）アルゴリズムを難読化されたバイナリコードから静的に検出する新手法「Kestrel（ケストレル）」が、2026年8月25日(現地時間)に論文公開プラットフォームarXivで発表された。この手法は、シンボルやライブラリ依存性、実行時挙動が失われたバイナリでも、標準化された格子ベースの暗号方式であるML-KEMおよびML-DSAを識別できる。デジタルフォレンジックや移行保証への応用が期待される。
これまで、コンパイル済みのバイナリコードから、量子脆弱性のあるアルゴリズムが承認されたポスト量子アルゴリズムに置き換えられたかを確認する明確な手法は存在しませんでした。従来の暗号発見ツールは、シンボル、ライブラリ依存性、実行時の挙動によってアルゴリズムを識別していましたが、これらの情報はバイナリのストリップ、静的リンク、最適化によって失われる課題がありました。
Kestrelは、ML-KEMとML-DSAが算術演算の基盤とする数論変換定数テーブル（リードオンリーデータ）を検出することで、これらのアルゴリズムを識別します。この手法は、公開されたスキームパラメータからフィンガープリントを導出し、正規化とマルチセットマッチングの手順によって局所化されます。誤検出の確率は分析的に確立されていると研究チームは説明しています。
実験では、コンパイラレベルの難読化を含む4つの独立した実装系統と全てのビルド変換に対して、Kestrelは128件中128件の検出率を達成し、誤検出はゼロでした。また、本番環境のLinuxシステム上の6,224個のバイナリに適用したところ、ML-KEMを含む12個の未カタログ化プログラムが検出されました。これにはOpenSSHの鍵交換プログラムやコンテナ管理スタックが含まれていました。これらのプログラムの一部では、開発プロジェクトの認識がないまま、言語ランタイムを通じてポスト量子コードが本番環境に導入された事例も確認されています。Kestrelは、正当なポスト量子実装を広告された主張と区別し、各検出を元のコードベースに帰属させることが可能とされています。デジタルフォレンジックにおけるディスクイメージの試行では、削除されたバイナリが再構築できない場合でも、未割り当て領域から検出を回復しました。これにより、Kestrelは暗号移行保証、ソフトウェアサプライチェーンの検査、およびポスト量子フォレンジック調査の実用的な基盤を提供するものと見られます。
参考: arXiv cs.CR (アーカイブ) — 2026年8月27日 13:00 (JST)