Synthesis of trustable ICs using untrusted CAD tools

Authors:
Miodrag Potkonjak
Affiliations:
University of California, Los Angeles, Los Angles, CA
Venue:
Proceedings of the 47th Design Automation Conference
Year:
2010

Citing 6
Cited 2

CAD-based security, cryptography, and digital rights management

Proceedings of the 44th annual Design Automation Conference
Remote activation of ICs for piracy prevention and digital right management

Proceedings of the 2007 IEEE/ACM international conference on Computer-aided design
Techniques for Design and Implementation of Secure Reconfigurable PUFs

ACM Transactions on Reconfigurable Technology and Systems (TRETS)
Hardware-Based Public-Key Cryptography with Public Physically Unclonable Functions

Information Hiding
Hardware Trojan horse detection using gate-level characterization

Proceedings of the 46th Annual Design Automation Conference
A Survey of Hardware Trojan Taxonomy and Detection

IEEE Design & Test

SoC: a real platform for IP reuse, IP infringement, and IP protection

VLSI Design - Special issue on CAD for Gigascale SoC Design and Verification Solutions
Wireless security techniques for coordinated manufacturing and on-line hardware trojan detection

Proceedings of the fifth ACM conference on Security and Privacy in Wireless and Mobile Networks

Quantified Score

Hi-index	0.00

Visualization

Abstract

We have developed the first technique for synthesis of trustable ICs using untrusted CAD tools. The approach enables the use of CAD tools for difficult synthesis tasks and very simple trusted tools developed by the designer for checking results and modifying specifications. The main idea is to specify the pertinent design in such a way that there is no room for the untrusted tool to add any malicious circuitry.