Matches in SemOpenAlex for { <https://semopenalex.org/work/W4289754019> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W4289754019 abstract "Cache timing attacks allow third-party observers to retrieve sensitive information from program executions. But, is it possible to automatically check the vulnerability of a program against cache timing attacks and then, automatically shield program executions against these attacks? For a given program, a cache configuration and an attack model, our CACHEFIX framework either verifies the cache side-channel freedom of the program or synthesizes a series of patches to ensure cache side-channel freedom during program execution. At the core of our framework is a novel symbolic verification technique based on automated abstraction refinement of cache semantics. The power of such a framework is to allow symbolic reasoning over counterexample traces and to combine it with runtime monitoring for eliminating cache side channels during program execution. Our evaluation with routines from OpenSSL, libfixedtimefixedpoint, GDK and FourQlib libraries reveals that our CACHEFIX approach (dis)proves cache sidechannel freedom within an average of 75 seconds. Besides, in all except one case, CACHEFIX synthesizes all patches within 20 minutes to ensure cache side-channel freedom of the respective routines during execution." @default.
- W4289754019 created "2022-08-04" @default.
- W4289754019 creator A5060115298 @default.
- W4289754019 creator A5079231461 @default.
- W4289754019 date "2018-07-12" @default.
- W4289754019 modified "2023-09-28" @default.
- W4289754019 title "Symbolic Verification of Cache Side-channel Freedom" @default.
- W4289754019 doi "https://doi.org/10.48550/arxiv.1807.04701" @default.
- W4289754019 hasPublicationYear "2018" @default.
- W4289754019 type Work @default.
- W4289754019 citedByCount "0" @default.
- W4289754019 crossrefType "posted-content" @default.
- W4289754019 hasAuthorship W4289754019A5060115298 @default.
- W4289754019 hasAuthorship W4289754019A5079231461 @default.
- W4289754019 hasBestOaLocation W42897540191 @default.
- W4289754019 hasConcept C111472728 @default.
- W4289754019 hasConcept C113166858 @default.
- W4289754019 hasConcept C11413529 @default.
- W4289754019 hasConcept C115537543 @default.
- W4289754019 hasConcept C124304363 @default.
- W4289754019 hasConcept C138885662 @default.
- W4289754019 hasConcept C149635348 @default.
- W4289754019 hasConcept C167713795 @default.
- W4289754019 hasConcept C173608175 @default.
- W4289754019 hasConcept C178489894 @default.
- W4289754019 hasConcept C189783530 @default.
- W4289754019 hasConcept C199360897 @default.
- W4289754019 hasConcept C201148951 @default.
- W4289754019 hasConcept C25536678 @default.
- W4289754019 hasConcept C2777904410 @default.
- W4289754019 hasConcept C2779639559 @default.
- W4289754019 hasConcept C38556500 @default.
- W4289754019 hasConcept C41008148 @default.
- W4289754019 hasConcept C49289754 @default.
- W4289754019 hasConcept C59687516 @default.
- W4289754019 hasConceptScore W4289754019C111472728 @default.
- W4289754019 hasConceptScore W4289754019C113166858 @default.
- W4289754019 hasConceptScore W4289754019C11413529 @default.
- W4289754019 hasConceptScore W4289754019C115537543 @default.
- W4289754019 hasConceptScore W4289754019C124304363 @default.
- W4289754019 hasConceptScore W4289754019C138885662 @default.
- W4289754019 hasConceptScore W4289754019C149635348 @default.
- W4289754019 hasConceptScore W4289754019C167713795 @default.
- W4289754019 hasConceptScore W4289754019C173608175 @default.
- W4289754019 hasConceptScore W4289754019C178489894 @default.
- W4289754019 hasConceptScore W4289754019C189783530 @default.
- W4289754019 hasConceptScore W4289754019C199360897 @default.
- W4289754019 hasConceptScore W4289754019C201148951 @default.
- W4289754019 hasConceptScore W4289754019C25536678 @default.
- W4289754019 hasConceptScore W4289754019C2777904410 @default.
- W4289754019 hasConceptScore W4289754019C2779639559 @default.
- W4289754019 hasConceptScore W4289754019C38556500 @default.
- W4289754019 hasConceptScore W4289754019C41008148 @default.
- W4289754019 hasConceptScore W4289754019C49289754 @default.
- W4289754019 hasConceptScore W4289754019C59687516 @default.
- W4289754019 hasLocation W42897540191 @default.
- W4289754019 hasOpenAccess W4289754019 @default.
- W4289754019 hasPrimaryLocation W42897540191 @default.
- W4289754019 hasRelatedWork W1482836859 @default.
- W4289754019 hasRelatedWork W1519459837 @default.
- W4289754019 hasRelatedWork W1536458401 @default.
- W4289754019 hasRelatedWork W1976258887 @default.
- W4289754019 hasRelatedWork W2356863646 @default.
- W4289754019 hasRelatedWork W2358799716 @default.
- W4289754019 hasRelatedWork W2393166523 @default.
- W4289754019 hasRelatedWork W2808189470 @default.
- W4289754019 hasRelatedWork W2851508498 @default.
- W4289754019 hasRelatedWork W2964061050 @default.
- W4289754019 isParatext "false" @default.
- W4289754019 isRetracted "false" @default.
- W4289754019 workType "article" @default.