Paper Info
Title
A practical split manufacturing framework for Trojan prevention via simultaneous wire lifting and cell insertion.
Abstract
Trojans and backdoors inserted by untrusted foundries have become serious threats to hardware security. Split manufacturing is proposed to prevent Trojan insertion proactively. Existing methods depend on wire lifting to hide partial circuit interconnections, which usually suffer from large overhead and lack of security guarantee. In this paper, we propose a novel split manufacturing framework that not only guarantees to achieve the required security level but also allows for a drastic reduction of the introduced overhead. In our framework, insertion of dummy circuit cells and wires is considered simultaneously with wire lifting. To support cell and wire insertion, we propose a new security criterion, and further derive its sufficient condition to avoid computation intensive operations in traditional methods. Then, for the first time, a novel mixed integer linear programming formulation is proposed to simultaneously consider cell and wire insertion together with wire lifting, which significantly enlarges the design space to guarantee the realization of the sufficient condition under the security requirements and overhead constraints. With extensive experimental results, our framework demonstrates much better efficiency, overhead reduction, and security guarantee compared with existing methods.
Year
DOI
Venue
2018
10.1109/TCAD.2018.2859402
ASP-DAC
Keywords
Field
DocType
Security,Wires,Logic gates,Trojan horses,Foundries,Hardware
Dram,Design space,Security level,Hardware security module,Computer science,Electronic engineering,Trojan,Integrated circuit,Embedded system,Built-in self-test,Computation
Conference
Volume
Issue
ISSN
38
9
0278-0070
ISBN
Citations 
PageRank 
978-1-4503-6007-4
4
0.42
References 
Authors
0
6
Name
Order
Citations
PageRank
Meng Li113217.74
Bei Yu265674.07
Yibo Lin311920.98
Xiaoqing Xu41099.97
Wuxi Li5366.03
David Z. Pan62653237.64