Hardware IP Security and Trust

Part I. Introduction

1. Security and Trust Vulnerabilities in Third-Party IPs
Prabhat Mishra, Mark Tehranipoor, Swarup Bhunia

Part II. Trust Analysis

2. Security Rule Check
Adib Nahiyan, Kan Xiao, Domenic Forte, Mark Tehranipoor

3. Digital Circuit Vulnerabilities to Hardware Trojans
Hassan Salmani, Mark Tehranipoor

4. Code Coverage Analysis for IP Trust Verification
Adib Nahiyan, Mark Tehranipoor

5. Analyzing Circuit Layout to Probing Attack
Qihang Shi, Domenic Forte, Mark M. Tehranipoor

6. Testing of Side-Channel Leakage of Cryptographic Intellectual Properties: Metrics and Evaluations
Debapriya Basu Roy, Shivam Bhasin, Sikhar Patranabis, Debdeep Mukhopadhyay

Part III. Effective Countermeasures

7. Hardware Hardening Approaches Using Camouflaging, Encryption, and Obfuscation
Qiaoyan Yu, Jaya Dofe, Yuejun Zhang, Jonathan Frey

8. A Novel Mutating Runtime Architecture for Embedding Multiple Countermeasures Against Side-Channel Attacks
Sorin A. Huss, Marc Stöttinger

Part IV. Security and Trust Validation

9. Validation of IP Security and Trust
Farimah Farahmandi, Prabhat Mishra

10. IP Trust Validation Using Proof-Carrying Hardware
Xiaolong Guo, Raj Gautam Dutta, Yier Jin

11. Hardware Trust Verification
Qiang Xu, Lingxiao Wei

12. Verification and Trust for Unspecified IP Functionality
Nicole Fern, Kwang-Ting (Tim) Cheng

13. Verifying Security Properties in Modern SoCs Using Instruction-Level Abstractions
Pramod Subramanyan, Sharad Malik

14. Test Generation for Detection of Malicious Parametric Variations
Yuanwen Huang, Prabhat Mishra

Part V. Conclusion

15. The Future of Trustworthy SoC Design
Prabhat Mishra, Swarup Bhunia, Mark Tehranipoor

Nyckelord: Engineering, Circuits and Systems, Data Encryption, Systems and Data Security, Electronics and Microelectronics, Instrumentation, Processor Architectures