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
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
formally verified RA architecture
biblio
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 - 11:37am
functional state
VRF
VRASED
verified remote attestation
useful security services
untrusted remote prover
trusted verifier
system-wide resets
secure RA architecture
remote Prv
Prv memory
provably secure software update
obtain proofs
malware-free state
low-end embedded systems
important security services
attestation
formally verified RA architecture
erasure
current memory state
compromised state
low-end embedded devices
microcontrollers
composability
pubcrawl
Human behavior
Resiliency
software state
invasive software
security service
embedded systems
