[论文解读] 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

一句话总结

本文系统性地综述并构建了自动化工具检测密码实现中侧信道泄漏的分类体系，根据模型来源（设备测量 vs. 设计规范）和抽象层次进行分类。研究识别出仿真保真度不足、缺乏标准化指标，以及对复杂架构和电磁（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.

研究动机与目标

• 提供对自动化检测密码硬件实现中侧信道泄漏工具的全面综述。
• 根据其模型来源（物理测量或设计规范）和设备模型的抽象层次，对现有工具进行分类。
• 识别在仿真保真度、评估指标和设计生命周期中工具互操作性方面的开放性问题。
• 强调领域内缺乏标准化基准和指标，难以比较工具的有效性。
• 倡导在早期阶段（事前硅片）进行泄漏检测，以降低开发成本并提升安全保证。

提出的方法

• 作者沿两个维度对工具进行分类：模型是否源自物理测量（事后硅片）或设计规范（事前硅片），以及设备模型的抽象层次。
• 基于其对微架构特征（如流水线停顿、缓存未命中和指令级功耗变化）的建模能力，分析工具。
• 评估电磁（EM）仿真的可行性，结论是EM仿真器需要物理设备测量数据，目前仅限于开源硬件。
• 研究事前硅片仿真器的可组合性，识别出在移除非泄漏设计元素以提升仿真速度方面存在的挑战。
• 提出需要公开、具有代表性的数据集，以实现对工具（尤其是非开源工具）的公平比较。
• 该分类体系基于对70多个工具和案例研究的调研，重点聚焦对称与非对称密码实现。

实验结果

研究问题

• RQ1 现有自动化侧信道检测工具在模型来源（测量 vs. 规范）和抽象层次上存在哪些差异？
• RQ2 在事后硅片仿真器中，对复杂微架构特征（如流水线停顿和缓存未命中）建模的关键局限性是什么？
• RQ3 为何电磁（EM）仿真尤其具有挑战性？其发展受到哪些限制？
• RQ4 目前有哪些指标可用于量化微架构层面的侧信道泄漏？为何缺乏标准化？
• RQ5 在缺乏公开基准或开源实现的情况下，如何改进工具的评估与比较？

主要发现

• 事前硅片仿真器可在设计早期检测泄漏，降低开发成本，并在流片前支持设计修改。
• 事后硅片仿真器严重依赖物理测量数据，当设计信息不可用时，其使用受到限制。
• 目前尚无广泛接受的指标用于量化微架构层面的侧信道泄漏，阻碍了跨工具比较。
• 电磁（EM）仿真仍是重大挑战，目前仅知一个工具（EMSIM）支持，且需要物理设备测量数据，仅适用于简单开源处理器。
• 缺乏针对非对称密码实现的公开基准和案例研究，此类实现当前在工具生态中代表性不足。
• 事前硅片仿真器的可组合性受限于缺乏可重用、模块化的组件，无法有效排除非泄漏设计元素。