Matches in SemOpenAlex for { <https://semopenalex.org/work/W2989370904> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2989370904 abstract "The recent Spectre attacks has demonstrated the fundamental insecurity of current computer microarchitecture. The attacks use features like pipelining, out-of-order and speculation to extract arbitrary information about the memory contents of a process. A comprehensive formal microarchitectural model capable of representing the forms of out-of-order and speculative behavior that can meaningfully be implemented in a high performance pipelined architecture has not yet emerged. Such a model would be very useful, as it would allow the existence and non-existence of vulnerabilities, and soundness of countermeasures to be formally established. In this paper we present such a model targeting single core processors. The model is intentionally very general and provides an infrastructure to define models of real CPUs. It incorporates microarchitectural features that underpin all known Spectre vulnerabilities. We use the model to elucidate the security of existing and new vulnerabilities, as well as to formally analyze the effectiveness of proposed countermeasures. Specifically, we discover three new (potential) vulnerabilities, including a new variant of Spectre v4, a vulnerability on speculative fetching, and a vulnerability on out-of-order execution, and analyze the effectiveness of three existing countermeasures: constant time, Retpoline, and ARM's Speculative Store Bypass Safe (SSBS)." @default.
- W2989370904 created "2019-11-22" @default.
- W2989370904 creator A5023822955 @default.
- W2989370904 creator A5073362414 @default.
- W2989370904 creator A5084112562 @default.
- W2989370904 date "2019-11-03" @default.
- W2989370904 modified "2023-10-16" @default.
- W2989370904 title "InSpectre: Breaking and Fixing Microarchitectural Vulnerabilities by Formal Analysis" @default.
- W2989370904 cites W1490835877 @default.
- W2989370904 cites W1514254856 @default.
- W2989370904 cites W1592889082 @default.
- W2989370904 cites W1741528175 @default.
- W2989370904 cites W2039026682 @default.
- W2989370904 cites W2109939657 @default.
- W2989370904 cites W2171482413 @default.
- W2989370904 cites W2460965380 @default.
- W2989370904 cites W2562036180 @default.
- W2989370904 cites W2586555532 @default.
- W2989370904 cites W2612454599 @default.
- W2989370904 cites W2883613460 @default.
- W2989370904 cites W2904129921 @default.
- W2989370904 cites W2912742709 @default.
- W2989370904 cites W2945838820 @default.
- W2989370904 cites W2954241526 @default.
- W2989370904 cites W2971539790 @default.
- W2989370904 cites W2977528721 @default.
- W2989370904 cites W3008086078 @default.
- W2989370904 cites W3015465581 @default.
- W2989370904 cites W3097990693 @default.
- W2989370904 doi "https://doi.org/10.48550/arxiv.1911.00868" @default.
- W2989370904 hasPublicationYear "2019" @default.
- W2989370904 type Work @default.
- W2989370904 sameAs 2989370904 @default.
- W2989370904 citedByCount "1" @default.
- W2989370904 countsByYear W29893709042020 @default.
- W2989370904 crossrefType "posted-content" @default.
- W2989370904 hasAuthorship W2989370904A5023822955 @default.
- W2989370904 hasAuthorship W2989370904A5073362414 @default.
- W2989370904 hasAuthorship W2989370904A5084112562 @default.
- W2989370904 hasBestOaLocation W29893709041 @default.
- W2989370904 hasConcept C10138342 @default.
- W2989370904 hasConcept C107598950 @default.
- W2989370904 hasConcept C111919701 @default.
- W2989370904 hasConcept C120314980 @default.
- W2989370904 hasConcept C123657996 @default.
- W2989370904 hasConcept C141331961 @default.
- W2989370904 hasConcept C142362112 @default.
- W2989370904 hasConcept C144133560 @default.
- W2989370904 hasConcept C149635348 @default.
- W2989370904 hasConcept C153349607 @default.
- W2989370904 hasConcept C1793878 @default.
- W2989370904 hasConcept C182306322 @default.
- W2989370904 hasConcept C199360897 @default.
- W2989370904 hasConcept C2776834041 @default.
- W2989370904 hasConcept C38652104 @default.
- W2989370904 hasConcept C39920170 @default.
- W2989370904 hasConcept C41008148 @default.
- W2989370904 hasConcept C47941915 @default.
- W2989370904 hasConcept C95713431 @default.
- W2989370904 hasConcept C98045186 @default.
- W2989370904 hasConceptScore W2989370904C10138342 @default.
- W2989370904 hasConceptScore W2989370904C107598950 @default.
- W2989370904 hasConceptScore W2989370904C111919701 @default.
- W2989370904 hasConceptScore W2989370904C120314980 @default.
- W2989370904 hasConceptScore W2989370904C123657996 @default.
- W2989370904 hasConceptScore W2989370904C141331961 @default.
- W2989370904 hasConceptScore W2989370904C142362112 @default.
- W2989370904 hasConceptScore W2989370904C144133560 @default.
- W2989370904 hasConceptScore W2989370904C149635348 @default.
- W2989370904 hasConceptScore W2989370904C153349607 @default.
- W2989370904 hasConceptScore W2989370904C1793878 @default.
- W2989370904 hasConceptScore W2989370904C182306322 @default.
- W2989370904 hasConceptScore W2989370904C199360897 @default.
- W2989370904 hasConceptScore W2989370904C2776834041 @default.
- W2989370904 hasConceptScore W2989370904C38652104 @default.
- W2989370904 hasConceptScore W2989370904C39920170 @default.
- W2989370904 hasConceptScore W2989370904C41008148 @default.
- W2989370904 hasConceptScore W2989370904C47941915 @default.
- W2989370904 hasConceptScore W2989370904C95713431 @default.
- W2989370904 hasConceptScore W2989370904C98045186 @default.
- W2989370904 hasLocation W29893709041 @default.
- W2989370904 hasLocation W29893709042 @default.
- W2989370904 hasOpenAccess W2989370904 @default.
- W2989370904 hasPrimaryLocation W29893709041 @default.
- W2989370904 hasRelatedWork W1595275176 @default.
- W2989370904 hasRelatedWork W1980950655 @default.
- W2989370904 hasRelatedWork W2088598399 @default.
- W2989370904 hasRelatedWork W2101113316 @default.
- W2989370904 hasRelatedWork W2116110362 @default.
- W2989370904 hasRelatedWork W2153948266 @default.
- W2989370904 hasRelatedWork W2952322674 @default.
- W2989370904 hasRelatedWork W2989370904 @default.
- W2989370904 hasRelatedWork W3091516220 @default.
- W2989370904 hasRelatedWork W3096867085 @default.
- W2989370904 isParatext "false" @default.
- W2989370904 isRetracted "false" @default.
- W2989370904 magId "2989370904" @default.
- W2989370904 workType "article" @default.