Retrofit or Redesign? Hardware-Validated Constant-Time Defense and Cost Analysis for the M-Step Side-Channel on TrustZone-M

あなたは秘密の金庫の守護者であり、その金庫を開ける唯一の方法は複雑な数学パズルを解くことです。デジタルセキュリティの世界では、このパズルはしばしば「モジュラー逆数（modular inversion）」と呼ばれ、メッセージをロックしたり解除したりするために使用される計算です。長年、専門家たちは、パズルを解くのにかかる「時間」を毎回同じにすれば、誰も秘密を盗めないと考えてきました。これは「定数時間（constant-time）」セキュリティと呼ばれます。もし泥棒が、ドアが開くまでの時間に基づいて、あなたが一生懸命考えているのか、単に推測しているのかを判別できないのであれば、安全であるという考え方です。

しかし、巧妙な新しいトリックである「シングルステップ攻撃（single-stepping attack）」が存在します。想像してみてください。泥棒がただドアが開くのを待つのではなく、あなたのパズル解決プロセスのあらゆる一歩ごとに時間を止めることができる魔法のストップウォッチを持っているとします。彼らは、あなたがどのような経路を通ったかを正確に観察することができます。もしあなたの迷路に、答えを知っている時だけ通る「隠れた近道」があるなら、泥棒はその近道を通るあなたを見て、あなたの秘密を学習してしまうのです。この論文は、セキュリティエンジニアにとっての極めて重要な選択肢を探求しています。脆弱性が見つかったとき、古い、漏れのある迷路を、均一に見えるように修正する（「リトフィット（後付け修正）」）べきでしょうか、それとも、最初から近道のない新しい迷лоを設計し直す（「リデザイン（再設計）」）べきでしょうか？ その答えは、どちらが速いかという点だけでなく、どちらが実際に泥棒に秘密を見られるのを防げるかという点にあります。

---

偉大なる迷路の修正：リトフィットか、リデザインか

この研究において、研究者のArash Razban氏とそのチームは、スマートカードや医療機器のような小型の組み込みコンピュータでデータを保護するために使用される、普及しているライブラリで見つかった現実世界のセキュリティホール（CVE-2025-54764として知られる）に取り組みました。この穴は、「バイナリGCD（最大公約数）」および「モジュラー逆数」のルーチン、つまり秘密鍵を扱う数学エンジンの中にありました。ハッカーが「M-Step」と呼ばれる手法を用いると、コンピュータの各命令の後に動作を停止させ、数学が辿った経路を観察することで、秘密の鍵を盗むことができました。

研究者たちは、どちらの防御戦略がより効果的かを検証するため、実際のシリコンハードウェア（Cortex-M33チップ）上で直接対決を行いました。それは、**「リトフィット（後付け修正）」か、それとも「リデザイン（再設計）」**かです。

リトフィット（パッチ作業）:
チームは、古い、漏れのある数学ルーチンを修正しようと試みました。彼らは、秘密に依存した近道（隠し扉のある迷路のようなもの）を持つ元のコードを取り、コードが毎回同じ経路を辿るように強制しました。これを行うために、コードが必要のないステップであっても必ず実行するようにし、「ブランチレス（分岐なし）」のテクニックを用いて、実際にどの経路が取られたかを隠しました。これは、ランナーがどこから出口を出たのかを観察者に悟られないように、出口がどこであっても、家の中のすべての部屋をジョギングして回るように強制することに似ています。

リデザイン（新しい構築）:
もう一つの選択肢は、古い数学をすべて捨て去り、最初から近道を持たないように設計された新しいアルゴリズム（safegcdと呼ばれるもの）に置き換えることでした。この新しい迷路は、秘密が何であっても全く同じに見える固定された経路を持っています。

衝撃的な結果：速度と巧妙な漏洩

研究者たちは、防御を実行するためのコスト（時間とエネルギー）と、それらが実際に泥棒を阻止できたかどうかという2つの要素を測定しました。

1. パッチのコスト
結果は驚くべきものでした。「リデザイン」は非常に効率的でした。しかし、「リトフィット」は速度の面で悲惨な結果となりました。

• GCDルーチンにおいて、リトフィットはリデザインよりも192倍遅い結果となりました。
• モジュラー逆数においては、リトフィットは532倍遅い結果となりました。

これを比較すると、テストされたハードウェア上で、再設計されたルーチンは実行にミリ秒単位の時間を要しました。一方、リトフィットされたルーチンはどうだったでしょうか？ 数秒かかりました。具体的には、リトフィットされたGCDは約4.5秒、モジュラー逆数はなんと25秒かかりました。ドアを解錠したりメッセージに署名したりするために即座に動作する必要があるデバイスにとって、25秒待つことは実質的に使い物にならないことを意味します。リデザインは単に優れているだけでなく、デバイスを使用可能にするための唯一の選択肢でした。

2. 「ゴースト・リーク（幽霊のような漏洩）」
ここからが、この物語の最も興味深い部分です。研究者たちは、リトフィットは成功したと考えていました。実行にかかる総時間を測定した際、リトフィットは完璧に見えました。時間の変動は異なる秘密の間で2%未満であり、これは通常「安全」であると見なされます。

しかし、彼らが超精密なツールを使用して、コンピュータが実行した正確な命令をステップごとにチェックしたところ、あることが判明しました。「ゴースト・リーク」が見つかったのです。

• リトフィットでは、数学プロセスの最後に非常に小さなループが存在していました。ほとんどの入力に対しては、このループは固定回数実行されます。しかし、ある特定の秘密に対しては、1回多く実行されました。
• この余分なステップは、わずか数十クロックサイクル分しか追加しませんでした。総実行時間が非常に大きかったため（数十億サイクル）、この微小な差は標準的なタイミングテストでは完全に不可見でした。それは、25秒間の映画の中で、たった一度のまばたきが増えたことに気づくようなものです。
• しかし、一歩一歩を観察するM-Stepアタッカーは、この余分なまばたきを目撃し、秘密が何であるかを正確に知ることができました。
• 研究者たちは、真にドアを閉めるために、この小さなループを修正し、固定されたシーケンスに置き換えなければなりませんでした。

結論：新しく構築せよ、パッチを当てるな

論文は、セキュリティエンジニアに向けて明確なメッセージを伝えています。これらの特定の種類の数学ルーチンに対して、パッチを当てようとしてはいけません。

1. リデザインこそが王道である: 「設計による定数時間（constant-time-by-design）」のアプローチ（リデザイン）は、圧倒的に優れています。古いコードをパッチしようとするよりも、およそ2桁（100倍）高速です。
2. タイミングテストは嘘をつく: 標準的なタイミングテストが、パッチが安全であることを保証してくれると信じてはいけません。パッチはストップウォッチ上では完璧に見えても、シングルステップ・アタッカーが見つけ出せるような、微小で悪用可能な漏洩を依然として抱えている可能性があります。
3. 時計ではなく、ステップを確認せよ: 防御が機能していることを確認するには、単に合計でかかった時間ではなく、正確な命令のシーケンス（辿った経路）を検証しなければなりません。

研究者たちは、ゴースト・リークを修正した後でも、わずかな時間の変動（約2%）が残っていることを発見しました。しかし、彼らはこれが秘密の漏洩ではなく、単にハードウェア自体が処理している数値に応じてわずかに異なる挙動を示していること、つまり、最高のソフトウェアであっても排除できない「ハードウェア・フロア（底限）」であることを証明しました。しかし決定的なのは、コンピュータが辿った経路は今や同一であり、ステップを観察することで秘密を学ぶことはできなくなったということです。

要するに、これらの重要な数学的秘密に関しては、古い家を修理しようとしてはいけません。一度取り壊し、最初から安全になるよう設計された新しい家を建ててください。その方が速く、より安全であり、パッチが残してしまうような小さな隙も見逃すことがありません。