Comparative Timing Characterization of Early-Exit and Fixed-Work Secret Comparisons on ESP32 and ESP8266

コンピュータ・セキュリティの隠れた世界には、壊れた鍵や盗まれた鍵とは無関係な、静かなる危険が存在する。それは「時間」に関するものである。コンピュータが秘密のコードとパスワードが一致するかどうかをチェックするとき、通常は文字列を一つずつ比較していく。もし最初の文字が間違っていれば、標準的なプログラムは即座に停止して「ノー」と答える。もし最初の10文字が正しく、11文字目が間違っていた場合、プログラムはその間違いを見つけるまで動作を続ける。この、コンピュータが思考する時間の違いが、情報の漏洩となり得る。熟練した観測者は、応答にかかる時間を観察することで、間違いが発生する前に何文字が正しかったのかを、理論上、秒数を数えることで突き止めることができる。これは「タイミング・サイドチャネル」として知られており、コードを破るのではなく、時計の音を聞くことで情報を盗む手法である。数十年にわたり、セキュリティの専門家は、どこで間違いが生じても全く同じ時間を要するようにソフトウェアを記述しなければならないと警告してきた。これは「定数時間プログラミング（constant-time programming）」と呼ばれる慣行である。しかし、スマートホーム機器から単純なセンサーに至るまで、あらゆるものを動かしている極めて安価で小型のチップにおいては、これらのルールが現実の世界でも成立しているのか、あるいはハードウェア自体が新たな驚きをもたらすのかどうかは、必ずしも明らかではない。

最近の研究は、世界で最も一般的なマイクロチップの2つ、ESP32とESP8266を用いて、この現実を検証することを目的とした。これらのチップは、数え切れないほどの安価なインターネット接続デバイスの頭脳となっている。研究者は、単独で、これら2つのチップに対して秘密の16バイトのコードを比較する2つの異なる方法を構築した。第一の方法は、標準的で脆弱なアプローチである。それは、不一致が見つかった瞬間に停止するものである。第二の方法は、「固定作業（fixed-work）」アプローチであり、安全性を考慮して設計されたものである。すなわち、たとえ入力の早い段階で間違いが現れたとしても、チップにすべてのバイトを必ずチェックさせることで、総実行時間を一定に保つ設計である。これらの手法がどのように振る舞うかを確認するため、研究者は数千回のテストコードをチップに送信した。各テストコードは、秘密のパスワードの開始部分で特定の数の文字が一致するように（時にはゼロ、時には16文字すべてが一致するように）巧妙に作られ、その後に逸脱するように設計された。チップは自身の内部クロックサイクルを測定して、各比較に正確にどれだけの時間がかかったかを記録し、あらゆる可能な開始長に対してこのプロセスを数百回繰り返した。

結果は、標準的な手法における脆弱性の明確な姿を描き出した。より高速なESP32チップでは、テストコードが秘密に対して一文字一致するごとに、チップの処理が完了するまでに正確に40クロックサイクル追加でかかった。より低速なESP8266では、追加の一文字につき25サイクルの遅延が発生した。これにより、完璧で予測可能な「階段状の時間」が形成された。コードが一致する文字がゼロであればチップは素早く終了し、15文字一致すれば大幅に長くかかる。実際、タイミングは非常に一貫しており、多くのテストグループにおいて、300回の試行すべてが全く同じクロックカウントを生成した。ESP32の場合、実行にかかった時間のたった一度の測定だけで、そのセッションにおける秘密の文字がいくつ一致していたのかを、研究者は正確に知ることができた。これは、標準的な「早期停止」方式が、実行にかかる時間を通じて直接的に情報を漏洩させていることを裏付けている。

対照的に、「固定作業」方式は、セキュリティの専門家が期待する通りに機能した。チップに16バイトすべてを強制的にチェックさせるバージョンを使用した場合、テストコードが何文字一致したかに基づいてかかる時間は変化しなかった。テストコードが最初の文字で失敗しても、最後の文字で失敗しても、チップはデータの処理に同じ時間を費やした。中央値となる時間は、すべてのシナリオを通じて平坦であった。しかし、研究はこの安全性の代償も明らかにした。固定作業方式は、常に脆弱な方式よりも時間がかかり、特にテストコードが即座に失敗する場合にその傾向が顕著であった。ESP32において、安全な方式は最初の文字が間違っている場合でも800サイクル近くを要したが、脆弱な方式は70サイクル未満で終了した。安全な方式は、総時間を一定に保つために、残りの文字をチェックするという「時間の浪費」を本質的に行っているのである。この速度とセキュリティの間のトレードオフは、余分なプロセッシングサイクルがバッテリーを消耗させたりデバイスを遅延させたりする、組み込みシステムにおける根本的な現実である。

また、この研究は、これらのチップが負荷の下でどのように振る舞うかについての予期せぬ癖についても解明した。平均的な時間は安定していたものの、個々の測定値の中には、予想される時間の2倍や3倍に跳ね上がるものが少数存在した。これらのスパイク（急上昇）は、チップが隔離された静かな状態にあるときではなく、主に通常のバックグラウンド割り込みを処理しているときに発生した。これは、安全なコードのコアとなるロジックは機能しているものの、チップを取り巻く環境が、時として予測不可能な遅延を引き起こす可能性があることを示唆している。研究者は、これらの測定がネットワーク経由ではなく、チップ自身のメモリ内で直接行われたことに注意を促している。つまり、タイミングの漏洩はデバイス上で実際に測定可能ではあるものの、それが直ちに「ハッカーがインターネット越しにパスワードを盗めること」を証明するわけではないということである。現実世界の接続によるノイズは、おそらくこれらの微細な差異を隠してしまうだろう。

結局のところ、この研究は、特定の広く普及したハードウェア上でタイミング・リークがどのように現れるかを示す具体的な地図を提供している。それは、比較を早期に停止するという単純な行為が、秘密を明らかにする精密で測定可能な信号を作り出すことを示している。また、単なるコードの変更――結果に関わらずコンピュータに仕事を完了させること――によって、その信号を排除できることも示しているが、それにはパフォーマンスの低下が伴う。この調査結果は、組み込みセキュリティの世界において、プログラムがどのように書かれているかが、使用される数学と同じくらい重要であることを思い出させてくれる。チップは指示された通りに正確に動作したが、その過程で、注意深い設計がなければ、最も基本的な操作であっても、時計の音を聞いている者に対して秘密を囁いてしまうことを露呈させたのである。