[論文レビュー] A Survey of Microarchitectural Side-channel Vulnerabilities, Attacks and Defenses in Cryptography

Xiaoxuan Lou, Tianwei Zhang+2 more|arXiv (Cornell University)|Mar 26, 2021

Security and Verification in Computing参考文献 231被引用数 11

ひとこと要約

本調査は、暗号システムにおけるマイクロアーキテクチャ的側帯攻撃脆弱性について包括的な分析を提供し、ハードウェアおよびソフトウェア両方の攻撃ベクトルを分類し、アプリケーション、OS、ハードウェアの各レイヤーにおける防御戦略を特定し、実世界の暗号ライブラリの評価を実施している。本調査では、オープンソースおよびクローズドソースのアプリケーションにわたり広範な脆弱性が明らかになったが、迅速なパッチ適用と強いコミュニティ対応が確認された。

ABSTRACT

Side-channel attacks have become a severe threat to the confidentiality of computer applications and systems. One popular type of such attacks is the microarchitectural attack, where the adversary exploits the hardware features to break the protection enforced by the operating system and steal the secrets from the program. In this paper, we systematize microarchitectural side channels with a focus on attacks and defenses in cryptographic applications. We make three contributions. (1) We survey past research literature to categorize microarchitectural side-channel attacks. Since these are hardware attacks targeting software, we summarize the vulnerable implementations in software, as well as flawed designs in hardware. (2) We identify common strategies to mitigate microarchitectural attacks, from the application, OS and hardware levels. (3) We conduct a large-scale evaluation on popular cryptographic applications in the real world, and analyze the severity, practicality and impact of side-channel vulnerabilities. This survey is expected to inspire side-channel research community to discover new attacks, and more importantly, propose new defense solutions against them.

研究の動機と目的

• ハードウェア設計とソフトウェア実装における根本的要因に基づき、マイクロアーキテクチャ的側帯攻撃を体系的に分類すること。
• アプリケーション、オペレーティングシステム、ハードウェアの各レベルにおける効果的な防御戦略を特定・抽象化すること。
• 広く展開されている暗号アプリケーションにおける側帯脆弱性の深刻度、実用性、実世界への影響を評価すること。
• 側帯攻撃と防御の間の継続的な技術的対抗関係を強調し、新規攻撃および対策に関するさらなる研究を促すこと。

提案手法

• ハードウェア（例：キャッシュ、SMT、TLB）およびソフトウェア（例：秘密依存タイミング、データ依存実行）における攻撃ベクトルに基づき、マイクロアーキテクチャ的側帯攻撃を分類する包括的文献レビューの実施。
• アプリケーションレベルの強化、OSレベルの隔離、ハードウェアレベルのアーキテクチャ的変更の3レイヤーにわたる緩和技術の分析と抽象化。
• OpenSSL、mbed TLS、wolfSSL、Jenkins、FortiOSなどを含む15の主要な暗号ライブラリおよびアプリケーションにおいて、110件の側帯脆弱性を対象とした大規模な実証的評価の実施。
• タイプ（例：非対称暗号、プロトコルの欠陥、モジュラー算術）、深刻度（CVSSスコア）、公開までのタイムラインを分類し、対応速度とカバー範囲を評価。
• 公開済みの脆弱性レポート（例：CVE）およびパッチデータを用いて、実世界における側帯欠陥の広がりと是正状況を評価。
• オープンソースとクローズドソースのソフトウェア間で、脆弱性の深刻度と利用可能性を比較し、公開および検出における格差を強調。

実験結果

リサーチクエスチョン

• RQ1 暗号アプリケーションにおけるマイクロアーキテクチャ的側帯攻撃を引き起こす主なハードウェア的およびソフトウェア的脆弱性は何か？
• RQ2 アプリケーション、オペレーティングシステム、ハードウェアの各レベルで、これらの攻撃を緩和するのに最も効果的な防御戦略は何か？
• RQ3 実世界の暗号ライブラリおよびシステムにおける側帯脆弱性はどれほど広範で深刻な影響を及ぼしているか？
• RQ4 開発者は、公開された側帯脆弱性に対してどれほど迅速に対応しており、異なるソフトウェアカテゴリにおけるパッチカバレッジはどの程度か？
• RQ5 オープンソースの類似製品に既知の攻撃が存在するにもかかわらず、クローズドソースアプリケーションがマイクロアーキテクチャ的側帯攻撃に対してどれほど脆弱な状態に残っているか？

主な発見

• マイクロアーキテクチャ的側帯脆弱性は、オープンソースおよびクローズドソースの両方の暗号アプリケーションに広く存在しており、15の主要なライブラリおよびシステムで合計110件の脆弱性が同定された。
• 脆弱性の大部分が迅速に対応されており、公開後すぐにパッチがリリースされたことが多く、コミュニティの迅速な反応がうかがえる。
• OpenSSL、mbed TLS、wolfSSL などのオープンソース暗号ライブラリには、モジュラー算術や秘密依存タイミングに関連する多数の脆弱性が存在し、CVSSスコアの平均は6.0〜8.5であった。
• Fortinet FortiOS やIBM製品などのクローズドソースアプリケーションには、リモートのタイミングベースのパディングオラクルなどの顕著な脆弱性が確認され、マイクロアーキテクチャ的リスクが十分に評価されていない可能性が示唆された。
• 長年のハードニングにもかかわらず、共通する暗号プリミティブ（例：モジュラー逆数、乗算）における新たな脆弱性が継続的に発見されており、攻撃表面の継続的課題が浮き彫りになった。
• 特にソースコードのアクセスが制限され、セキュリティ監査が限られるクローズドソースソフトウェアにおいて、多数の脆弱性が検出されず、パッチが適用されていない状態で残っていることが明らかになった。