Matches in SemOpenAlex for { <https://semopenalex.org/work/W2972034624> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2972034624 endingPage "31" @default.
- W2972034624 startingPage "1" @default.
- W2972034624 abstract "Spectre-style attacks disclosed in early 2018 expose data leakage scenarios via cache side channels. Specifically, speculatively executed paths due to branch mis-prediction may bring secret data into the cache, which are then exposed via cache side channels even after the speculative execution is squashed. Symbolic execution is a well-known test generation method to cover program paths at the level of the application software. In this article, we extend symbolic execution with modeling of cache and speculative execution. Our tool KLEE SPECTRE , built on top of the KLEE symbolic execution engine, can thus provide a testing engine to check for data leakage through the cache side channel as shown via Spectre attacks. Our symbolic cache model can verify whether the sensitive data leakage due to speculative execution can be observed by an attacker at a given program point. Our experiments show that KLEE SPECTRE can effectively detect data leakage along speculatively executed paths and our cache model can make the leakage detection more precise." @default.
- W2972034624 created "2019-09-12" @default.
- W2972034624 creator A5006115873 @default.
- W2972034624 creator A5049237676 @default.
- W2972034624 creator A5060115298 @default.
- W2972034624 creator A5069725124 @default.
- W2972034624 creator A5079231461 @default.
- W2972034624 date "2020-06-01" @default.
- W2972034624 modified "2023-10-03" @default.
- W2972034624 title "KLEESpectre" @default.
- W2972034624 cites W1585877844 @default.
- W2972034624 cites W1979470295 @default.
- W2972034624 cites W1979693894 @default.
- W2972034624 cites W2067452806 @default.
- W2972034624 cites W2101512909 @default.
- W2972034624 cites W2293441536 @default.
- W2972034624 cites W2766853874 @default.
- W2972034624 cites W2810584084 @default.
- W2972034624 cites W2903910116 @default.
- W2972034624 cites W2905380323 @default.
- W2972034624 cites W2925685215 @default.
- W2972034624 cites W2931679308 @default.
- W2972034624 cites W2962722502 @default.
- W2972034624 cites W2963311060 @default.
- W2972034624 cites W2964061050 @default.
- W2972034624 cites W2971539790 @default.
- W2972034624 cites W3013286660 @default.
- W2972034624 cites W4233119454 @default.
- W2972034624 cites W4248431727 @default.
- W2972034624 doi "https://doi.org/10.1145/3385897" @default.
- W2972034624 hasPublicationYear "2020" @default.
- W2972034624 type Work @default.
- W2972034624 sameAs 2972034624 @default.
- W2972034624 citedByCount "12" @default.
- W2972034624 countsByYear W29720346242019 @default.
- W2972034624 countsByYear W29720346242020 @default.
- W2972034624 countsByYear W29720346242021 @default.
- W2972034624 countsByYear W29720346242022 @default.
- W2972034624 countsByYear W29720346242023 @default.
- W2972034624 crossrefType "journal-article" @default.
- W2972034624 hasAuthorship W2972034624A5006115873 @default.
- W2972034624 hasAuthorship W2972034624A5049237676 @default.
- W2972034624 hasAuthorship W2972034624A5060115298 @default.
- W2972034624 hasAuthorship W2972034624A5069725124 @default.
- W2972034624 hasAuthorship W2972034624A5079231461 @default.
- W2972034624 hasConcept C111919701 @default.
- W2972034624 hasConcept C115537543 @default.
- W2972034624 hasConcept C149635348 @default.
- W2972034624 hasConcept C173608175 @default.
- W2972034624 hasConcept C189783530 @default.
- W2972034624 hasConcept C25536678 @default.
- W2972034624 hasConcept C2777904410 @default.
- W2972034624 hasConcept C2779639559 @default.
- W2972034624 hasConcept C38556500 @default.
- W2972034624 hasConcept C41008148 @default.
- W2972034624 hasConceptScore W2972034624C111919701 @default.
- W2972034624 hasConceptScore W2972034624C115537543 @default.
- W2972034624 hasConceptScore W2972034624C149635348 @default.
- W2972034624 hasConceptScore W2972034624C173608175 @default.
- W2972034624 hasConceptScore W2972034624C189783530 @default.
- W2972034624 hasConceptScore W2972034624C25536678 @default.
- W2972034624 hasConceptScore W2972034624C2777904410 @default.
- W2972034624 hasConceptScore W2972034624C2779639559 @default.
- W2972034624 hasConceptScore W2972034624C38556500 @default.
- W2972034624 hasConceptScore W2972034624C41008148 @default.
- W2972034624 hasFunder F4320320671 @default.
- W2972034624 hasIssue "3" @default.
- W2972034624 hasLocation W29720346241 @default.
- W2972034624 hasOpenAccess W2972034624 @default.
- W2972034624 hasPrimaryLocation W29720346241 @default.
- W2972034624 hasRelatedWork W1504000718 @default.
- W2972034624 hasRelatedWork W1506955979 @default.
- W2972034624 hasRelatedWork W2121191383 @default.
- W2972034624 hasRelatedWork W2121761261 @default.
- W2972034624 hasRelatedWork W2147511796 @default.
- W2972034624 hasRelatedWork W2369795572 @default.
- W2972034624 hasRelatedWork W2380012616 @default.
- W2972034624 hasRelatedWork W2957999883 @default.
- W2972034624 hasRelatedWork W2976775806 @default.
- W2972034624 hasRelatedWork W3216288082 @default.
- W2972034624 hasVolume "29" @default.
- W2972034624 isParatext "false" @default.
- W2972034624 isRetracted "false" @default.
- W2972034624 magId "2972034624" @default.
- W2972034624 workType "article" @default.