Matches in SemOpenAlex for { <https://semopenalex.org/work/W4366999548> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W4366999548 abstract "With the increased utilization, the small embedded and IoT devices have become an attractive target for sophisticated attacks that can exploit the devices security critical information and data in malevolent activities. Secure boot and Remote Attestation (RA) techniques verifies the integrity of the devices software state at boot-time and runtime. Correct implementation and formal verification of these security primitives provide strong security guarantees and enhance user confidence. The formal verification of these security primitives is considered challenging, as it involves complex hardware software interactions, semantics gaps and requires bit-precise reasoning. To address these challenges, this paper presents FVCARE an end to end system co-verification framework. It also defines the security properties for resilient small embedded systems. FVCARE divides the end to end system co verification problem into two modules: 1) verifying the (bit precise) initial system settings, registers, and access control policies by hardware verification techniques, and 2) verifying the system specification, security properties, and functional correctness using source-level software abstraction of the hardware. The evaluation of proposed techniques on SRACARE based systems demonstrates its efficacy in security co verification." @default.
- W4366999548 created "2023-04-27" @default.
- W4366999548 creator A5012819177 @default.
- W4366999548 creator A5013537834 @default.
- W4366999548 creator A5087668874 @default.
- W4366999548 date "2023-04-22" @default.
- W4366999548 modified "2023-09-30" @default.
- W4366999548 title "FVCARE:Formal Verification of Security Primitives in Resilient Embedded SoCs" @default.
- W4366999548 doi "https://doi.org/10.48550/arxiv.2304.11489" @default.
- W4366999548 hasPublicationYear "2023" @default.
- W4366999548 type Work @default.
- W4366999548 citedByCount "0" @default.
- W4366999548 crossrefType "posted-content" @default.
- W4366999548 hasAuthorship W4366999548A5012819177 @default.
- W4366999548 hasAuthorship W4366999548A5013537834 @default.
- W4366999548 hasAuthorship W4366999548A5087668874 @default.
- W4366999548 hasBestOaLocation W43669995481 @default.
- W4366999548 hasConcept C110251889 @default.
- W4366999548 hasConcept C111498074 @default.
- W4366999548 hasConcept C111919701 @default.
- W4366999548 hasConcept C120314980 @default.
- W4366999548 hasConcept C149091818 @default.
- W4366999548 hasConcept C149635348 @default.
- W4366999548 hasConcept C165696696 @default.
- W4366999548 hasConcept C186846655 @default.
- W4366999548 hasConcept C199360897 @default.
- W4366999548 hasConcept C202973057 @default.
- W4366999548 hasConcept C2777904410 @default.
- W4366999548 hasConcept C29983905 @default.
- W4366999548 hasConcept C33054407 @default.
- W4366999548 hasConcept C38652104 @default.
- W4366999548 hasConcept C41008148 @default.
- W4366999548 hasConcept C527648132 @default.
- W4366999548 hasConcept C55439883 @default.
- W4366999548 hasConcept C62913178 @default.
- W4366999548 hasConcept C75606506 @default.
- W4366999548 hasConceptScore W4366999548C110251889 @default.
- W4366999548 hasConceptScore W4366999548C111498074 @default.
- W4366999548 hasConceptScore W4366999548C111919701 @default.
- W4366999548 hasConceptScore W4366999548C120314980 @default.
- W4366999548 hasConceptScore W4366999548C149091818 @default.
- W4366999548 hasConceptScore W4366999548C149635348 @default.
- W4366999548 hasConceptScore W4366999548C165696696 @default.
- W4366999548 hasConceptScore W4366999548C186846655 @default.
- W4366999548 hasConceptScore W4366999548C199360897 @default.
- W4366999548 hasConceptScore W4366999548C202973057 @default.
- W4366999548 hasConceptScore W4366999548C2777904410 @default.
- W4366999548 hasConceptScore W4366999548C29983905 @default.
- W4366999548 hasConceptScore W4366999548C33054407 @default.
- W4366999548 hasConceptScore W4366999548C38652104 @default.
- W4366999548 hasConceptScore W4366999548C41008148 @default.
- W4366999548 hasConceptScore W4366999548C527648132 @default.
- W4366999548 hasConceptScore W4366999548C55439883 @default.
- W4366999548 hasConceptScore W4366999548C62913178 @default.
- W4366999548 hasConceptScore W4366999548C75606506 @default.
- W4366999548 hasLocation W43669995481 @default.
- W4366999548 hasOpenAccess W4366999548 @default.
- W4366999548 hasPrimaryLocation W43669995481 @default.
- W4366999548 hasRelatedWork W1563456403 @default.
- W4366999548 hasRelatedWork W1980237913 @default.
- W4366999548 hasRelatedWork W2087930812 @default.
- W4366999548 hasRelatedWork W2115240397 @default.
- W4366999548 hasRelatedWork W2135756607 @default.
- W4366999548 hasRelatedWork W2140586641 @default.
- W4366999548 hasRelatedWork W2162615969 @default.
- W4366999548 hasRelatedWork W2386892903 @default.
- W4366999548 hasRelatedWork W2809618173 @default.
- W4366999548 hasRelatedWork W3061866020 @default.
- W4366999548 isParatext "false" @default.
- W4366999548 isRetracted "false" @default.
- W4366999548 workType "article" @default.