A method for side channel analysis of hardware Trojan horses based on multiple ip cores

Abstract

The invention belongs to the field of third-party IP core trustworthiness verification. In order to propose a new method for hardware Trojans, improve the detection efficiency of hardware Trojans, realize distributed detection and effectively solve the limitation problem of reference models in the actual testing process, and further promote IP Practical progress of nuclear security vulnerability detection. For this reason, the technical solution that the present invention adopts is, based on the hardware Trojan side channel analysis method of multiple IP cores, determine the mutual derivation relationship between multiple IP cores according to the side channel analysis technology, when the side channel information of one of the IP cores is consistent with the ideal If there is a discrepancy in the side channel information, it is determined that there is a hardware Trojan horse. The invention is mainly applied to the occasion of IP core trustworthiness.

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