[論文レビュー] SoK: Design Tools for Side-Channel-Aware Implementations

Ileana Buhan, Lejla Batina+2 more|arXiv (Cornell University)|Apr 17, 2021

Security and Verification in Computing参考文献 71被引用数 4

ひとこと要約

本論文は、暗号実装におけるサイドチャnel漏洩を検出する自動化ツールの体系的サーベイと分類法を提示し、モデルの出どころ（デバイス測定値対設計仕様）および抽象化レベルに基づいて分類している。シミュレーションの忠実度の欠如、標準化されたメトリクスの不足、複雑なアーキテクチャおよびEMサイドチャネルに対する支援の限界といった主な課題を特定するとともに、統一されたベンチマークとハードウェア開発における早期段階の設計時分析の推進を提言し、セキュリティと効率性の向上を図っている。

ABSTRACT

Side-channel attacks that leak sensitive information through a computing device's interaction with its physical environment have proven to be a severe threat to devices' security, particularly when adversaries have unfettered physical access to the device. Traditional approaches for leakage detection measure the physical properties of the device. Hence, they cannot be used during the design process and fail to provide root cause analysis. An alternative approach that is gaining traction is to automate leakage detection by modeling the device. The demand to understand the scope, benefits, and limitations of the proposed tools intensifies with the increase in the number of proposals. In this SoK, we classify approaches to automated leakage detection based on the model's source of truth. We classify the existing tools on two main parameters: whether the model includes measurements from a concrete device and the abstraction level of the device specification used for constructing the model. We survey the proposed tools to determine the current knowledge level across the domain and identify open problems. In particular, we highlight the absence of evaluation methodologies and metrics that would compare proposals' effectiveness from across the domain. We believe that our results help practitioners who want to use automated leakage detection and researchers interested in advancing the knowledge and improving automated leakage detection.

研究の動機と目的

• 暗号ハードウェア実装におけるサイドチャネル漏洩を検出する自動化ツールについて包括的なサーベイを提供すること。
• ツールのモデルの出どころ（デバイス測定値または設計仕様）およびデバイスモデルの抽象化レベルに基づき、既存のツールを分類すること。
• 設計ライフサイクル全体にわたり、シミュレーションの忠実度、評価メトリクス、ツール相互運用性における未解決問題を特定すること。
• ドメイン全体にわたりツールの有効性を比較するための標準化されたベンチマークおよびメトリクスの欠如を強調すること。
• 製造前のコスト削減とセキュリティ保証の向上を目的として、早期段階（前シリコン）での漏洩検出を推進すること。

提案手法

• 著者は、モデルが物理的測定値（後シリコン）から得られるか、設計仕様（前シリコン）から得られるかという軸と、デバイスモデルの抽象化レベルという2軸に沿ってツールを分類している。
• パイプラインストール、キャッシュミス、命令レベルの消費電力変動などのマイクロアーキテクチャ的特徴をモデル化できる能力に基づき、ツールを分析している。
• EMシミュレーションの実現可能性を評価し、EMシミュレータが物理的デバイス測定値を必要とし、現在はオープンソースハードウェアに限定されていると結論している。
• 前シリコンシミュレータの組み合わせ可能性を検討し、非漏洩設計要因を除外することでシミュレーション速度を向上させる際の課題を特定している。
• 特に非オープンソースツールの公平な比較を可能にするために、公開された代表的データセットの必要性を提起している。
• 分類法は70以上のツールおよび事例研究のサーベイに基づいており、特に対称および非対称暗号実装に重点を置いている。

実験結果

リサーチクエスチョン

• RQ1 既存の自動化サイドチャネル漏洩検出ツールは、モデルの出どころ（測定値対設計仕様）および抽象化レベルにおいてどのように異なるか？
• RQ2 後シリコンシミュレータにおいて、パイプラインストールやキャッシュミスといった複雑なマイクロアーキテクチャ的特徴をモデル化する際の主な制限は何か？
• RQ3 なぜ電磁（EM）シミュレーションは特に困難であり、開発を制限する要因は何か？
• RQ4 マイクロアーキテクチャレベルでのサイドチャネル漏洩を定量化するための現在のメトリクスは何か？なぜ標準化が行われていないのか？
• RQ5 公開ベンチマークやオープンソース実装が存在しない状況で、ツールの評価と比較をどのように改善できるか？

主な発見

• 前シリコンシミュレータは設計プロセスの初期段階で漏洩を検出でき、製造前の段階で設計変更が可能となり、コスト削減が可能である。
• 後シリコンシミュレータは物理的測定値に強く依存しており、設計情報が入手不能な場合には利用が制限される。
• マイクロアーキテクチャ的サイドチャネル漏洩を定量化するための広く受け入れられたメトリクスは存在せず、ツール間の比較が困難である。
• EMシミュレーションは依然として大きな課題であり、物理的デバイス測定値を必要とし、単純なオープンソースプロセッサに限定された、唯一の既知のツール（EMSIM）があるにとどまっている。
• 非対称暗号実装のための公開ベンチマークおよび事例研究が不足しており、現行のツールリングではその分野が過小評価されている。
• 前シリコンシミュレータの組み合わせ可能性は、非漏洩設計要素を除外できる再利用可能でモジュラーなコンponentsの欠如により制限されている。