A Smart Card Power Analysis Simulator
A Smart Card Power Analysis Simulator
复制标题
智能卡功耗分析模拟器
DOI：
10.1109/cse.2009.119
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
Olivier Ly
中科院分区：
文献类型：
--
作者：
Céline Thuillet;Philippe Andouard;Olivier Ly
侧向通道攻击是对微控制器中嵌入的加密测量的巨大威胁。本文提出了专门针对密码算法的抗性分析的软件环境。我们的方法是基于经典消费模型，在不同级别的这些级别上对这些轨迹的插入式痕迹和计算抽象组成。特别是，这使用户可以构成其实现的某些部分，以分析直接链接到它们的信息泄漏。这个环境的优势是双重的。首先，它对抵抗侧向通道攻击的加密算法产生精确的差分分析。其次，它取代了在第一个开发阶段中使用测试床的使用，从而改善了在开发和验证之间更轻松地进行交互，改善了全球设计过程。在其他扩展方面，模拟器的设计依赖于功能风格，为正式的证明开辟了道路。 。
Side-channel attacks are a great threat to cryptographicalgorithms embedded in microcontrollers. This paper proposesa software environment devoted to the analysisof resistance of cryptographic algorithms implementationsagainst differential power attacks. Our method consists ingenerating execution traces and computing abstractions ofthese traces at different levels, on the basis on classicalconsumption models. In particular this allows the user toisolate some parts of its implementation in order to analyzeinformation leakages directly linked to them. The advantageof this environment is twofold. Firstly, it produces preciseand differential analysis of a cryptographic algorithm resistanceto side-channel attacks. Secondly, it replaces the useof the testbed in the first development stages thus improvingthe global design process for resistant implementations bymaking easier interactions between development and validation.To other extends, the design of the simulator relieson a functional style, opening the way to formal proofs ofresistance.