Static Detection of Post-Quantum Cryptographic Algorithms in Stripped Binaries for Digital Forensic Examination and Migration Assurance
本論文は、ストリップおよび最適化されたバイナリにおいて、一意の数論変換定数テーブルを特定することによって標準化された耐量子計算機暗号アルゴリズム（ML-KEMおよびML-DSA）を確実に検出する静的解析ツールであるKestrelを紹介するものであり、これにより、従来の検出シグナルが隠蔽されている場合でも、効果的なフォレンジック調査、サプライチェーン検査、および移行の保証を可能にする。
原論文は CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) でライセンスされています。 これは以下の論文のAI生成解説です。著者が執筆または承認したものではありません。技術的な正確性については原論文を参照してください。 免責事項の全文を読む
デジタルセキュリティの世界では、静かな革命が進んでいます。何十年もの間、銀行記録、国家機密、プライベートなメッセージといった、私たちの最も敏感なデータを保護する「鍵」は、特定の鍵なしでは解くことがほぼ不可能な数学的パズルに依存してきました。パブリックキー暗号（公開鍵暗号）として知られるこれらのパズルは、インターネットにおける信頼の基盤です。しかし、科学者たちは、量子物理学の奇妙な法則を利用する新しいタイプのコンピュータが、最終的にはこれらの鍵を瞬時に破るほど強力になるだろうと、以前から予測してきました。それが起きたとき、古い鍵は役に立たなくなります。これに備えるため、専門家たちは、量子コンピュータでさえ簡単に解読できない異なる数学に基づいた新しい鍵を設計しています。これらの新しいシステムは、ポスト量子暗号と呼ばれています。現在の課題は、単にこれらの新しい鍵を構築することではなく、それらを見つけ出すことです。組織が古いシステムを置き換えようと急ぐ中で、彼らは、自分たちの世界を動かしている複雑なソフトウェアの中に、新しい鍵がどこに隠れているのかを正確に知る必要があります。しかし、問題があります。ソフトウェアが使用のために最終的なプログラムへとコンパイルされると、通常、中身を教えてくれるラベルや名前は、プログラムをより小さく、より速くするために取り除かれてしまうことがよくあります。それらの名前がなくなると、コードの山の中から特定の新しい鍵を見つけ出すことは、その砂粒がどのような見た目であるかを知らずに、ビーチにある特定の砂粒を探そうとするようなものです。
ムハンマド・シャヒール・ビン・ジュナイドという研究者が、この問題を解決する新しい方法を開発しました。彼は、名前などの通常のヒントがすべて削除されていても、剥離された（ストリップされた）ソフトウェアの中から、これらの新しい量子安全な鍵を特定できる「Kestrel」というツールを作成しました。この手法は、シンプルですが強力な観察に基づいています。コードの名前は消去できても、コードが機能するために必要な「生の数字」は消せないということです。格子（ラティス）と呼ばれる構造に基づいた新しい暗号システムは、計算を行うために、あらかじめ計算された固定の数字のセットを使用しなければなりません。これらの数字は、永久的な指紋のような役割を果たします。ソフトウェアがどれほど最適化され、圧縮され、あるいは名前が変更されたとしても、プログラムが機能するためには、これらの特定の数字がファイル内に残っていなければなりません。もしこれらの数字がなければ、プログラムは単に動作しなくなるのです。Kestrelはプログラムの生のデータをスキャンし、これらの不可欠な数学的定数のパターンを探します。それは関数の名前やプログラムが使用するライブラリには関心がありません。ただ、これらの必須の数学的定数の存在のみに関心があるのです。
研究者は、さまざまなツールで構築され、解析を困難にするあらゆる種類の標準的な処理を施した幅広いソフトウェアに対して、このアプローチをテストしました。その結果、ツールは完璧に機能することがわかりました。128種類の異なるバージョンのソフトウェアを含むテストにおいて、Kestrelは、プログラムの名前がすべて剥離され、複雑な方法で結合されていた場合でも、すべてのケースにおいて新しい暗号アルゴリズムを特定しました。極めて重要なことに、このツールはミスを犯しませんでした。研究者が標準的なコンピュータシステムから6,000以上の実世界のプログラムをスキャンした際、ツールは誤検知（誤報）を一度も起こしませんでした。普通のソフトウェアを新しい暗号システムと間違えることはなかったのです。このレベルの正確さは、専門家が法的設定において提示する前に、見つけたものについて絶対的な確信を持たなければならないデジタル・フォレンジックにおいて不可欠です。
おそらく最も驚くべき発見は、このツールをライブコンピュータシステムに適用したときに起こりました。スキャンにより、誰もそこに存在を知らなかった12種類の異なるプログラムに、これらの新しい量子安全な鍵が含まれていることが明らかになりました。これらには、安全なログインのためのインターネット接続を管理するソフトウェアや、コンテナ化されたアプリケーションを実行するシステムが含まれていました。多くの場合、新しい暗号技術は、それを使用しているプログラミング言語を通じて自動的にこれらのプログラムに入り込んでおり、それらのプログラムの開発者さえ気づいていないことがありました。この発見は、現在のセキュリティ慣行における重大なギャップを浮き彫りにしています。組織は、脆弱な古いシステムを使用していると考えていたり、あるいはアップグレードしたと考えていたりするかもしれませんが、実際のコードを検査する方法がなければ、確信を持つことはできません。Kestrelはその確信を提供します。それは、真に新しい鍵を使用しているプログラムと、単にそう主張しているだけのプログラムを区別できます。あるテストでは、あるプログラムが量子安全な保護を備えていると主張していましたが、ツールは証拠を見つけられず、その主張が虚偽であることを正しく特定しました。
また、このツールは、損傷した、あるいは削除されたファイルからのデータ復元をシミュレートするという、フォレンジックの設定における価値も証明しました。ファイルが削除されると、オペレーティングシステムはしばしばその領域を新しいデータに利用可能であるとマークしますが、古いデータは上書きされるまでディスク上に残ります。標準的な復元ツールはファイル構造の再構築を試みますが、ファイルヘッダーが損傷している場合は失敗することがよくあります。しかし、Kestrelはファイル構造ではなくデータ内の特定の数字を探すため、ディスクイメージの生の、整理されていない空間の中でも、この暗号の指紋を見つけることができました。それは、他のツールでは復元できなかったファイルの中に、新しいアルゴリズムの存在を特定することに成功しました。この能力は、元のファイルがなくなったり破損したりしている場合でも、調査官が特定の暗法を使用していることを確認できることを意味します。
研究では、このツールができないことも明確にされました。これは、固定の数字テーブルに依存する特定のタイプの新しい鍵を見つけるように設計されています。この方法を使用しない他のタイプの新しい鍵を見つけることはできませんし、実行するたびにこれらの数字をその場で（オンザフライで）計算するプログラムを見つけることもできません。しかし、研究者は、現在「オンザフライ」による手法を使用している既知のソフトウェアは存在しないと指摘しています。なぜなら、それは非効率的であり、不必要だからです。このツールは、今日のソフトウェアが実際にどのように作られ、配布されているかという現実に即して構築されています。機能するためにコードが必要とする不変の数字に焦点を当てることで、Kestrelは、これらの新しいセキュリティシステムの存在を検証するための信頼できる方法を提供します。それは目に見えないものを可視化し、監査官や調査官がプログラムの中に正確に何が入っているかを見通せるようにすることで、量子安全な未来への移行が、仮定ではなく事実に基づいたものであることを保証するのです。
自分の分野の論文に埋もれていませんか？
研究キーワードに一致する最新の論文のダイジェストを毎日受け取りましょう——技術要約付き、あなたの言語で。