Hardware Trojan horse side channel analysis method based on multi-IP core

Abstract

The invention belongs to the field of third-party IP core trusted willfulness verification, in order to propose a new hardware Trojan horse method, improve the detection efficiency of the hardware Trojan horse, and effectively solve the limitation problem of the reference model in the actual test process by distributed detection, thereby further promoting the practical process of IP core securityvulnerability detection. Therefore, the technical proposal adopted by the invention is that the hardware Trojan horse side channel analysis method based on the multi-IP core determines the mutual deduction relationship among the multi-IP cores according to the side channel analysis technology, and when the side channel information of one of the IP cores is different from the ideal side channel information, the hardware Trojan horse is determined to exist. The invention is mainly applied to IP core trusted willfulness occasions.

Description

technical field [0001] The invention belongs to the field of third-party IP core trustworthiness verification, and specifically relates to a hardware Trojan horse side channel analysis technology based on multiple IP cores. Background technique [0002] In the wave of informatization sweeping the world, information technology, as a powerful factor to promote social development, is widely used in many important fields such as military, finance, industry, commerce and personal life, and much of the information is directly related to government macro-control decisions, business Economic information, bank securities funds, energy resource data, major scientific research projects and other fields directly related to the destiny and interests of the country have become important driving forces for world economic growth. As the foundation of modern information systems, integrated circuit chips are widely used in all aspects of economic society and become a strategic, basic and lead...

AI Technical Summary

Problems solved by technology

[0005] Formal verification can find design errors or malicious circuits that cannot be found by simulation verification, but it is mainly for functional hardware Trojan horses

If the hardware Trojan horse or malicious backdoor does not change the function of the original IP core, neither model verification nor formal verification can do anything

In addition, as the scale of the circuit becomes larger and larger, it is difficult for the simulation verification to achieve 100% function / code coverage, while the formal verification can only be limited to the verification level of small-scale circuits

Images