Hardware backdoor removing method for IP solid core netlist
A backdoor and hardware technology, applied in the design field of hardware backdoor removal method, can solve problems such as inability to remove backdoor circuits, chip damage, etc.
Active Publication Date: 2020-07-14
UNIV OF ELECTRONICS SCI & TECH OF CHINA
View PDF8 Cites 2 Cited by
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
Although this method can locate the position of the hardware Trojan horse, its detection method itself has already caused irreversible damage to the chip, and it is impossible to eliminate the backdoor circuit and realize the reuse of the chip.
Method used
the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View moreImage
Smart Image Click on the blue labels to locate them in the text.
Smart ImageViewing Examples
Examples
Experimental program
Comparison scheme
Effect test
Embodiment Construction
[0054] Exemplary embodiments of the present invention will now be described in detail with reference to the accompanying drawings. It should be understood that the implementations shown and described in the drawings are only exemplary, and are intended to explain the principle and spirit of the present invention, rather than limit the scope of the present invention.
[0055] Before describing the specific embodiments of the present invention, in order to make the scheme of the present invention clearer and more complete, first the related concepts appearing in the present invention are described:
[0056] (1) Trojan horse circuit: Trojan horse circuit in the embodiment of the present invention refers to the general designation of hardware Trojan horse structure and its infection circuit.
[0057] (2) Directed graph: In the embodiment of the present invention, G(V, E) is used to represent a directed graph, wherein G represents a directed graph object, V represents a node set, a...
the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More PUM
Login to View More Abstract
The invention discloses a hardware backdoor removing method for an IP solid core netlist, and the method comprises the steps: successfully finding a starting end of a hardware Trojan horse circuit, i.e., a Trojan horse starting mounting node, based on a directed graph model; then solidifying the initial mounting node, deleting the invalid logic unit, successfully cutting off the connection betweenthe Trojan circuit and the main circuit, and fixing the Trojan circuit in an untriggered state; and finally, propagating the solid-state signal backwards, and modifying the Trojan horse circuit layerby layer by using a method of eliminating redundant items by using a truth table. Compared with the netlist file before Trojan insertion, the hardware Trojan circuit can be successfully deleted, andthe normal function of the netlist cannot be influenced. The invention provides an effective method for repairing the netlist with the hardware backdoor, and the method has important significance in the aspect of reutilization after IP core fixing correction.
Description
technical field [0001] The invention belongs to the technical field of hardware security, and in particular relates to a design of a hardware backdoor removal method for an IP solid-core netlist. Background technique [0002] In today's society, information is highly globalized, and integrated circuit design is becoming more and more complex, but the cost and time requirements for software design are also gradually increasing. Therefore, most of the chip production adopts the assembly line working method, and the design, production, testing and other stages need to be completed by multiple manufacturers, and a large number of third-party IPs are used. The opacity of the chip manufacturing process leads to huge security risks in hardware equipment. Therefore, it is very meaningful to eliminate the hardware backdoor in the IP core. [0003] The current mainstream hardware backdoor detection methods are divided into three categories: side channel signal analysis method, rever...
Claims
the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More Application Information
Patent Timeline
Login to View More Patent Type & Authority Applications(China)
IPC IPC(8): G06F21/56G06F16/901
CPCG06F21/567G06F16/9024
Inventor 王坚杨鍊李桓陈哲
Owner UNIV OF ELECTRONICS SCI & TECH OF CHINA