Skip to Main Content Area
  • CPS-VO
    • Contact Support
  • Browse
    • Calendar
    • Announcements
    • Repositories
    • Groups
  • Search
    • Search for Content
    • Search for a Group
    • Search for People
    • Search for a Project
    • Tagcloud
      
 
Not a member?
Click here to register!
Forgot username or password?
 
Home
National Science Foundation

Cyber-Physical Systems Virtual Organization

Read-only archive of site from September 29, 2023.

CPS-VO

high-level security assurance

biblio

Visible to the public PCH framework for IP runtime security verification

Submitted by grigby1 on Mon, 06/11/2018 - 3:47pm
  • post-silicon stage
  • untrusted third-party vendors
  • untrusted IPs
  • Trusted Computing
  • Symbolic Execution
  • security of data
  • security
  • SAT solving methods
  • runtime formal verification framework
  • Runtime
  • Resiliency
  • resilience
  • pubcrawl
  • proof-carrying hardware framework
  • pre-silicon stage
  • composability
  • PCH framework
  • Microelectronics Security
  • Metrics
  • Mathematical model
  • malicious behavior detection
  • IP runtime security verification
  • integrated circuits
  • high-level security assurance
  • hardware runtime verification
  • Hardware design languages
  • Hardware
  • Foundries
  • formal verification

Terms of Use  |  ©2023. CPS-VO