Matches in SemOpenAlex for { <https://semopenalex.org/work/W2997695369> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2997695369 abstract "Remote Attestation ( RA) is a security service that enables a trusted verifier ( Vrf) to measure current memory state of an untrusted remote prover ( Prv). If correctly implemented, RA allows Vrf to remotely detect if Prv's memory reflects a compromised state. However, RA by itself offers no means of remedying the situation once P rv is determined to be compromised. In this work we show how a secure RA architecture can be extended to enable important and useful security services for low-end embedded devices. In particular, we extend the formally verified RA architecture, VRASED, to implement provably secure software update, erasure, and system-wide resets. When (serially) composed, these features guarantee to Vrf that a remote Prv has been updated to a functional and malware-free state, and was properly initialized after such process. These services are provably secure against an adversary (represented by malware) that compromises Prv and exerts full control of its software state. Our results demonstrate that such services incur minimal additional overhead (0.4% extra hardware footprint, and 100-s milliseconds to generate combined proofs of update, erasure, and reset), making them practical even for the lowest-end embedded devices, e.g., those based on MSP430 or AVR ATMega micro-controller units (MCUs). All changes introduced by our new services to VRASED trusted components are also formally verified." @default.
- W2997695369 created "2020-01-10" @default.
- W2997695369 creator A5003935638 @default.
- W2997695369 creator A5009882362 @default.
- W2997695369 creator A5061680900 @default.
- W2997695369 creator A5069912897 @default.
- W2997695369 date "2019-11-01" @default.
- W2997695369 modified "2023-10-16" @default.
- W2997695369 title "PURE: Using Verified Remote Attestation to Obtain Proofs of Update, Reset and Erasure in low-End Embedded Systems" @default.
- W2997695369 cites W124732759 @default.
- W2997695369 cites W1434079718 @default.
- W2997695369 cites W1489391022 @default.
- W2997695369 cites W186684821 @default.
- W2997695369 cites W2075095478 @default.
- W2997695369 cites W2128159601 @default.
- W2997695369 cites W2136310957 @default.
- W2997695369 cites W2168580788 @default.
- W2997695369 cites W2176266709 @default.
- W2997695369 cites W2181293862 @default.
- W2997695369 cites W2426676653 @default.
- W2997695369 cites W2739746516 @default.
- W2997695369 cites W2883374116 @default.
- W2997695369 cites W2965443102 @default.
- W2997695369 doi "https://doi.org/10.1109/iccad45719.2019.8942118" @default.
- W2997695369 hasPublicationYear "2019" @default.
- W2997695369 type Work @default.
- W2997695369 sameAs 2997695369 @default.
- W2997695369 citedByCount "5" @default.
- W2997695369 countsByYear W29976953692020 @default.
- W2997695369 countsByYear W29976953692021 @default.
- W2997695369 countsByYear W29976953692022 @default.
- W2997695369 countsByYear W29976953692023 @default.
- W2997695369 crossrefType "proceedings-article" @default.
- W2997695369 hasAuthorship W2997695369A5003935638 @default.
- W2997695369 hasAuthorship W2997695369A5009882362 @default.
- W2997695369 hasAuthorship W2997695369A5061680900 @default.
- W2997695369 hasAuthorship W2997695369A5069912897 @default.
- W2997695369 hasConcept C106159729 @default.
- W2997695369 hasConcept C108710211 @default.
- W2997695369 hasConcept C111919701 @default.
- W2997695369 hasConcept C11413529 @default.
- W2997695369 hasConcept C120314980 @default.
- W2997695369 hasConcept C149635348 @default.
- W2997695369 hasConcept C162324750 @default.
- W2997695369 hasConcept C199360897 @default.
- W2997695369 hasConcept C2524010 @default.
- W2997695369 hasConcept C2778790127 @default.
- W2997695369 hasConcept C2779795794 @default.
- W2997695369 hasConcept C2779960059 @default.
- W2997695369 hasConcept C31258907 @default.
- W2997695369 hasConcept C33923547 @default.
- W2997695369 hasConcept C38652104 @default.
- W2997695369 hasConcept C41008148 @default.
- W2997695369 hasConcept C48103436 @default.
- W2997695369 hasConcept C541664917 @default.
- W2997695369 hasConcept C74912251 @default.
- W2997695369 hasConcept C9390403 @default.
- W2997695369 hasConceptScore W2997695369C106159729 @default.
- W2997695369 hasConceptScore W2997695369C108710211 @default.
- W2997695369 hasConceptScore W2997695369C111919701 @default.
- W2997695369 hasConceptScore W2997695369C11413529 @default.
- W2997695369 hasConceptScore W2997695369C120314980 @default.
- W2997695369 hasConceptScore W2997695369C149635348 @default.
- W2997695369 hasConceptScore W2997695369C162324750 @default.
- W2997695369 hasConceptScore W2997695369C199360897 @default.
- W2997695369 hasConceptScore W2997695369C2524010 @default.
- W2997695369 hasConceptScore W2997695369C2778790127 @default.
- W2997695369 hasConceptScore W2997695369C2779795794 @default.
- W2997695369 hasConceptScore W2997695369C2779960059 @default.
- W2997695369 hasConceptScore W2997695369C31258907 @default.
- W2997695369 hasConceptScore W2997695369C33923547 @default.
- W2997695369 hasConceptScore W2997695369C38652104 @default.
- W2997695369 hasConceptScore W2997695369C41008148 @default.
- W2997695369 hasConceptScore W2997695369C48103436 @default.
- W2997695369 hasConceptScore W2997695369C541664917 @default.
- W2997695369 hasConceptScore W2997695369C74912251 @default.
- W2997695369 hasConceptScore W2997695369C9390403 @default.
- W2997695369 hasLocation W29976953691 @default.
- W2997695369 hasOpenAccess W2997695369 @default.
- W2997695369 hasPrimaryLocation W29976953691 @default.
- W2997695369 hasRelatedWork W2092071486 @default.
- W2997695369 hasRelatedWork W2131630752 @default.
- W2997695369 hasRelatedWork W2361238304 @default.
- W2997695369 hasRelatedWork W2391167130 @default.
- W2997695369 hasRelatedWork W2978978128 @default.
- W2997695369 hasRelatedWork W2997695369 @default.
- W2997695369 hasRelatedWork W4242263690 @default.
- W2997695369 hasRelatedWork W4283067488 @default.
- W2997695369 hasRelatedWork W94000989 @default.
- W2997695369 hasRelatedWork W2460246254 @default.
- W2997695369 isParatext "false" @default.
- W2997695369 isRetracted "false" @default.
- W2997695369 magId "2997695369" @default.
- W2997695369 workType "article" @default.