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

System-on-Chip Security

Overview of attention for book
Cover of 'System-on-Chip Security'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 System-on-Chip Security Vulnerabilities
  3. Altmetric Badge
    Chapter 2 SoC Security Verification Challenges
  4. Altmetric Badge
    Chapter 3 SoC Trust Metrics and Benchmarks
  5. Altmetric Badge
    Chapter 4 Anomaly Detection Using Symbolic Algebra
  6. Altmetric Badge
    Chapter 5 Trojan Localization Using Symbolic Algebra
  7. Altmetric Badge
    Chapter 6 Vulnerability Assessment of Controller Designs
  8. Altmetric Badge
    Chapter 7 SoC Security Verification Using Property Checking
  9. Altmetric Badge
    Chapter 8 Automated Test Generation for Detection of Malicious Functionality
  10. Altmetric Badge
    Chapter 9 Trojan Detection Using Machine Learning
  11. Altmetric Badge
    Chapter 10 Trojan Detection Using Dynamic Current Analysis
  12. Altmetric Badge
    Chapter 11 Hardware Trojan Detection Schemes Using Path Delay and Side-Channel Analysis
  13. Altmetric Badge
    Chapter 12 The Future of Security Validation and Verification
Attention for Chapter 7: SoC Security Verification Using Property Checking
Altmetric Badge

Citations

dimensions_citation
20 Dimensions
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
SoC Security Verification Using Property Checking
Chapter number 7
Book title
System-on-Chip Security
Published by
Springer, Cham, January 2020
DOI 10.1007/978-3-030-30596-3_7
Book ISBNs
978-3-03-030595-6, 978-3-03-030596-3
Authors

Farimah Farahmandi, Yuanwen Huang, Prabhat Mishra

View on publisher site

This page is provided by Altmetric.