基于自差分分析的硬件木马检测研究

Hardware Trojan detection based on self-differential analysis

针对硬件木马旁路检测方法的噪声干扰问题,提出了基于自差分分析的硬件木马检测方法.基于旁路信号特征分析提出了两点假设:a.相同采样窗口内旁路信号的噪声变化小;b.不同激励下硬件木马的旁路特征存在差异.对同一采样窗口内不同激励的旁路信号进行自差分分析,将安全芯片与待测芯片的直接对比转变为自差分信号的相对差异分析,从而降低工艺噪声和环境噪声的干扰.提出了自差分分析的旁路信号模型以及相应检测流程.搭建了基于在线可编程门阵列芯片的验证平台,以8051微处理器内核为实验对象,采用马氏距离度量多点旁路信号差异,验证了假设的正确性,构建了待测芯片集合,成功检测出逻辑规模低至0.025%的硬件木马.

To address the noise interference of side-channel based hardware Trojan detection methods,the self-differential analysis method was proposed.Two hypotheses were proposed based on the analysis of side-channel signal:a. The noise differences are very small in the same sampling window;b. There are differences among the side-channel signal under different activation.The self-differential analysis was carried out by differentiating the side-channel signal in the same sampling window but under different activation.The direct comparison between the golden chip and the chip under test was transformed to the relative comparison of self-differences,so as to suppress the process noise and environmental noise.Side-channel model and detection procedure for self-differential analysis were built.The field programmable gate array (FPGA) platform was set up and the 8051 microprocessor core was burned in.Mahalanobis distance was used to measure the differences of multipoint signals.The two hypotheses were verified in turn.The test set containing multiple hardware Trojans was constructed.The hardware Trojans with area of 0.025% were detected successfully.