Secure Hardware Design for Trust.

摘要

In this work, we have developed a technique called Logic Encryption to harden computer circuitry against these malicious threats by hiding the functionality of a design. The functionality of a design will be concealed until it is configured by a designer after fabrication and all critical computing components are under Air Force custody and control. Logic encryption can be achieved by inserting additional gates like XORs and/or multiplexers such that correct outputs are produced only when specific inputs or keys are applied to these gates after manufacturing. We relate logic encryption to fault analysis in IC testing to develop an effective and efficient way to guide the insertion of key gates. This method is process independent and can yield valuable security benefits because one need not trust the fabrication, test, and other third party participants in the outsourced fabrication process model. Most importantly, this work will be used as an added layer of security to complement existing software and network security, especially within mission- critical systems.