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
Fostering collaboration among CPS professionals in academia, government, and industry
CPS-VO
low-end embedded devices
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 - 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
A Practical Attestation Protocol for Autonomous Embedded Systems
Submitted by aekwall on Mon, 08/17/2020 - 10:35am
Internet of Things
attestation
Remote Attestation
security
performance evaluation
Protocols
embedded systems
Resiliency
Human behavior
pubcrawl
composability
Robustness
computer networks
Embedded System
Scalability
security guarantees
remote device
arbitrary device outages
autonomous embedded systems
autonomous networks
autonomous system
collective attestation
connected embedded devices
existing attestation protocols
low-end embedded devices
low-end prover devices
low-end verifier devices
Mesh networks
network disruptions
PASTA
safe operation
secure operation
