Matches in SemOpenAlex for { <https://semopenalex.org/work/W4287182361> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W4287182361 abstract "Spectre vulnerabilities violate our fundamental assumptions about architectural abstractions, allowing attackers to steal sensitive data despite previously state-of-the-art countermeasures. To defend against Spectre, developers of verification tools and compiler-based mitigations are forced to reason about microarchitectural details such as speculative execution. In order to aid developers with these attacks in a principled way, the research community has sought formal foundations for speculative execution upon which to rebuild provable security guarantees. This paper systematizes the community's current knowledge about software verification and mitigation for Spectre. We study state-of-the-art software defenses, both with and without associated formal models, and use a cohesive framework to compare the security properties each defense provides. We explore a wide variety of tradeoffs in the expressiveness of formal frameworks, the complexity of defense tools, and the resulting security guarantees. As a result of our analysis, we suggest practical choices for developers of analysis and mitigation tools, and we identify several open problems in this area to guide future work on grounded software defenses." @default.
- W4287182361 created "2022-07-25" @default.
- W4287182361 creator A5044735957 @default.
- W4287182361 creator A5055403961 @default.
- W4287182361 creator A5072406383 @default.
- W4287182361 creator A5075577852 @default.
- W4287182361 creator A5082723061 @default.
- W4287182361 date "2021-05-12" @default.
- W4287182361 modified "2023-09-24" @default.
- W4287182361 title "SoK: Practical Foundations for Software Spectre Defenses" @default.
- W4287182361 doi "https://doi.org/10.48550/arxiv.2105.05801" @default.
- W4287182361 hasPublicationYear "2021" @default.
- W4287182361 type Work @default.
- W4287182361 citedByCount "0" @default.
- W4287182361 crossrefType "posted-content" @default.
- W4287182361 hasAuthorship W4287182361A5044735957 @default.
- W4287182361 hasAuthorship W4287182361A5055403961 @default.
- W4287182361 hasAuthorship W4287182361A5072406383 @default.
- W4287182361 hasAuthorship W4287182361A5075577852 @default.
- W4287182361 hasAuthorship W4287182361A5082723061 @default.
- W4287182361 hasBestOaLocation W42871823611 @default.
- W4287182361 hasConcept C115903868 @default.
- W4287182361 hasConcept C136197465 @default.
- W4287182361 hasConcept C140547941 @default.
- W4287182361 hasConcept C154945302 @default.
- W4287182361 hasConcept C169590947 @default.
- W4287182361 hasConcept C199360897 @default.
- W4287182361 hasConcept C2777904410 @default.
- W4287182361 hasConcept C2778062554 @default.
- W4287182361 hasConcept C29983905 @default.
- W4287182361 hasConcept C38652104 @default.
- W4287182361 hasConcept C41008148 @default.
- W4287182361 hasConcept C48103436 @default.
- W4287182361 hasConcept C527648132 @default.
- W4287182361 hasConcept C62913178 @default.
- W4287182361 hasConceptScore W4287182361C115903868 @default.
- W4287182361 hasConceptScore W4287182361C136197465 @default.
- W4287182361 hasConceptScore W4287182361C140547941 @default.
- W4287182361 hasConceptScore W4287182361C154945302 @default.
- W4287182361 hasConceptScore W4287182361C169590947 @default.
- W4287182361 hasConceptScore W4287182361C199360897 @default.
- W4287182361 hasConceptScore W4287182361C2777904410 @default.
- W4287182361 hasConceptScore W4287182361C2778062554 @default.
- W4287182361 hasConceptScore W4287182361C29983905 @default.
- W4287182361 hasConceptScore W4287182361C38652104 @default.
- W4287182361 hasConceptScore W4287182361C41008148 @default.
- W4287182361 hasConceptScore W4287182361C48103436 @default.
- W4287182361 hasConceptScore W4287182361C527648132 @default.
- W4287182361 hasConceptScore W4287182361C62913178 @default.
- W4287182361 hasLocation W42871823611 @default.
- W4287182361 hasOpenAccess W4287182361 @default.
- W4287182361 hasPrimaryLocation W42871823611 @default.
- W4287182361 hasRelatedWork W1929087753 @default.
- W4287182361 hasRelatedWork W2133072118 @default.
- W4287182361 hasRelatedWork W2155206946 @default.
- W4287182361 hasRelatedWork W2357646881 @default.
- W4287182361 hasRelatedWork W2388394866 @default.
- W4287182361 hasRelatedWork W2906636651 @default.
- W4287182361 hasRelatedWork W3023846186 @default.
- W4287182361 hasRelatedWork W3193386261 @default.
- W4287182361 hasRelatedWork W3214883374 @default.
- W4287182361 hasRelatedWork W896362041 @default.
- W4287182361 isParatext "false" @default.
- W4287182361 isRetracted "false" @default.
- W4287182361 workType "article" @default.