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

Fostering collaboration among CPS professionals in academia, government, and industry

CPS-VO

software state

biblio

Visible to the public PURE: Using Verified Remote Attestation to Obtain Proofs of Update, Reset and Erasure in low-End Embedded Systems

Submitted by aekwall on Mon, 08/17/2020 - 10:37am
  • attestation
  • embedded systems
  • security service
  • invasive software
  • software state
  • Resiliency
  • Human behavior
  • pubcrawl
  • composability
  • microcontrollers
  • low-end embedded devices
  • compromised state
  • current memory state
  • erasure
  • formally verified RA architecture
  • functional state
  • important security services
  • low-end embedded systems
  • malware-free state
  • obtain proofs
  • provably secure software update
  • Prv memory
  • remote Prv
  • secure RA architecture
  • system-wide resets
  • trusted verifier
  • untrusted remote prover
  • useful security services
  • verified remote attestation
  • VRASED
  • VRF
biblio

Visible to the public ERASMUS: Efficient remote attestation via self-measurement for unattended settings

Submitted by aekwall on Wed, 02/13/2019 - 10:59am
  • Internet of Things
  • IoT devices
  • attestation
  • malware
  • Remote Attestation
  • security
  • software integrity
  • concrete technique
  • efficient remote attestation
  • embedded devices
  • ERASMUS
  • invasive software
  • mobile computing
  • mobile malware
  • on-demand operation
  • Phase measurement
  • potentially expensive computation
  • Quality-of-Attestation
  • RA techniques
  • Radio frequency
  • real-time devices
  • real-time systems
  • safety-critical applications
  • software state
  • Time measurement
  • unattended devices
  • untrusted remote device
  • Resiliency
  • Human behavior
  • pubcrawl
  • composability

Terms of Use  |  ©2021. CPS-VO