一种抗功耗侧信道攻击对策验证方法

摘要

本发明涉及一种抗功耗侧信道攻击对策验证方法，其特征在于，包括以下步骤：利用编译技术将密码算法程序翻译到中间表示形式，在密码算法程序中标注保密部分、公开部分及随机变量。步骤2、利用类型推导按照程序中间结果依赖关系对中间表示形式中的每个中间结果进行推理。本发明达到了显著的性能提升效果。通过多个加密算法程序的实验，对于完美随机化伪装的MACKeccak程序，仅需几秒时间完成证明。对于非完美随机化伪装的程序，本发明方法可以检测定位所有泄露点，比传统基于SMT的方法，本发明性能提升1倍。