↓ Skip to main content
What is this page? Embed badge

Hardware IP Security and Trust

Overview of attention for book
Cover of 'Hardware IP Security and Trust'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Security and Trust Vulnerabilities in Third-Party IPs
  3. Altmetric Badge
    Chapter 2 Security Rule Check
  4. Altmetric Badge
    Chapter 3 Digital Circuit Vulnerabilities to Hardware Trojans
  5. Altmetric Badge
    Chapter 4 Code Coverage Analysis for IP Trust Verification
  6. Altmetric Badge
    Chapter 5 Analyzing Circuit Layout to Probing Attack
  7. Altmetric Badge
    Chapter 6 Testing of Side-Channel Leakage of Cryptographic Intellectual Properties: Metrics and Evaluations
  8. Altmetric Badge
    Chapter 7 Hardware Hardening Approaches Using Camouflaging, Encryption, and Obfuscation
  9. Altmetric Badge
    Chapter 8 A Novel Mutating Runtime Architecture for Embedding Multiple Countermeasures Against Side-Channel Attacks
  10. Altmetric Badge
    Chapter 9 Validation of IP Security and Trust
  11. Altmetric Badge
    Chapter 10 IP Trust Validation Using Proof-Carrying Hardware
  12. Altmetric Badge
    Chapter 11 Hardware Trust Verification
  13. Altmetric Badge
    Chapter 12 Verification and Trust for Unspecified IP Functionality
  14. Altmetric Badge
    Chapter 13 Verifying Security Properties in Modern SoCs Using Instruction-Level Abstractions
  15. Altmetric Badge
    Chapter 14 Test Generation for Detection of Malicious Parametric Variations
  16. Altmetric Badge
    Chapter 15 The Future of Trustworthy SoC Design
Attention for Chapter 13: Verifying Security Properties in Modern SoCs Using Instruction-Level Abstractions
Altmetric Badge

Citations

dimensions_citation
61 Dimensions

Readers on

mendeley
5 Mendeley
Summary Dimensions citations
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Verifying Security Properties in Modern SoCs Using Instruction-Level Abstractions
Chapter number 13
Book title
Hardware IP Security and Trust
Published by
Springer, Cham, January 2017
DOI 10.1007/978-3-319-49025-0_13
Book ISBNs
978-3-31-949024-3, 978-3-31-949025-0
Authors

Pramod Subramanyan, Sharad Malik

View on publisher site
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 5 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 5 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 1 20%
Researcher 1 20%
Student > Master 1 20%
Unknown 2 40%
Readers by discipline Count As %
Computer Science 2 40%
Engineering 1 20%
Unknown 2 40%

This page is provided by Altmetric.