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

malicious behavior detection

biblio

Visible to the public A Survey on Security of Cloud Environment: Threats, Solutions, and Innovation

Submitted by grigby1 on Wed, 11/14/2018 - 1:15pm
  • malicious behavior detection
  • VMI
  • Virtual machining
  • virtual machines
  • Virtual machine monitors
  • virtual machine monitor
  • virtual machine introspection techniques
  • tenant network
  • security of data
  • security
  • Resiliency
  • resilience
  • pubcrawl
  • Monitoring
  • misuse detection techniques
  • malware
  • attack taxonomy
  • machine learning
  • intrusion detection techniques
  • expandability
  • data mining techniques
  • Data mining
  • Compositionality
  • CloudVMI
  • CloudI
  • Cloud Security
  • cloud introspection
  • cloud computing environment
  • Cloud Computing
  • block chain technology
  • behavior analysis
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