Matches in SemOpenAlex for { <https://semopenalex.org/work/W2925685215> ?p ?o ?g. }
- W2925685215 abstract "Cache-based side channels are becoming an important attack vector through which secret information can be leaked to malicious parties. implementations and Previous work on cache-based side channel detection, however, suffers from the code coverage problem or does not provide diagnostic information that is crucial for applying mitigation techniques to vulnerable software. We propose CaSym, a cache-aware symbolic execution to identify and report precise information about where side channels occur in an input program. Compared with existing work, CaSym provides several unique features: (1) CaSym enables verification against various attack models and cache models, (2) unlike many symbolic-execution systems for bug finding, CaSym verifies all program execution paths in a sound way, (3) CaSym uses two novel abstract cache models that provide good balance between analysis scalability and precision, and (4) CaSym provides sufficient information on where and how to mitigate the identified side channels through techniques including preloading and pinning. Evaluation on a set of crypto and database benchmarks shows that CaSym is effective at identifying and mitigating side channels, with reasonable efficiency." @default.
- W2925685215 created "2019-04-11" @default.
- W2925685215 creator A5007116603 @default.
- W2925685215 creator A5010830558 @default.
- W2925685215 creator A5037402020 @default.
- W2925685215 creator A5060394961 @default.
- W2925685215 creator A5090123220 @default.
- W2925685215 date "2019-05-01" @default.
- W2925685215 modified "2023-10-02" @default.
- W2925685215 title "CaSym: Cache Aware Symbolic Execution for Side Channel Detection and Mitigation" @default.
- W2925685215 cites W151864858 @default.
- W2925685215 cites W1934458198 @default.
- W2925685215 cites W1970005004 @default.
- W2925685215 cites W1977764760 @default.
- W2925685215 cites W1992291252 @default.
- W2925685215 cites W1997775274 @default.
- W2925685215 cites W2037322308 @default.
- W2925685215 cites W2037851672 @default.
- W2925685215 cites W2066210260 @default.
- W2925685215 cites W2103289002 @default.
- W2925685215 cites W2116469687 @default.
- W2925685215 cites W2117550587 @default.
- W2925685215 cites W2119028650 @default.
- W2925685215 cites W2128255161 @default.
- W2925685215 cites W2131202839 @default.
- W2925685215 cites W2137453738 @default.
- W2925685215 cites W2145936802 @default.
- W2925685215 cites W2147150814 @default.
- W2925685215 cites W2158798798 @default.
- W2925685215 cites W2166293920 @default.
- W2925685215 cites W2171863291 @default.
- W2925685215 cites W2172060328 @default.
- W2925685215 cites W2294921903 @default.
- W2925685215 cites W2626217303 @default.
- W2925685215 cites W2758227629 @default.
- W2925685215 cites W2766853874 @default.
- W2925685215 cites W2963723316 @default.
- W2925685215 cites W3008276449 @default.
- W2925685215 cites W3101072679 @default.
- W2925685215 cites W4246166885 @default.
- W2925685215 doi "https://doi.org/10.1109/sp.2019.00022" @default.
- W2925685215 hasPublicationYear "2019" @default.
- W2925685215 type Work @default.
- W2925685215 sameAs 2925685215 @default.
- W2925685215 citedByCount "37" @default.
- W2925685215 countsByYear W29256852152018 @default.
- W2925685215 countsByYear W29256852152019 @default.
- W2925685215 countsByYear W29256852152020 @default.
- W2925685215 countsByYear W29256852152021 @default.
- W2925685215 countsByYear W29256852152022 @default.
- W2925685215 countsByYear W29256852152023 @default.
- W2925685215 crossrefType "proceedings-article" @default.
- W2925685215 hasAuthorship W2925685215A5007116603 @default.
- W2925685215 hasAuthorship W2925685215A5010830558 @default.
- W2925685215 hasAuthorship W2925685215A5037402020 @default.
- W2925685215 hasAuthorship W2925685215A5060394961 @default.
- W2925685215 hasAuthorship W2925685215A5090123220 @default.
- W2925685215 hasBestOaLocation W29256852151 @default.
- W2925685215 hasConcept C111919701 @default.
- W2925685215 hasConcept C115537543 @default.
- W2925685215 hasConcept C120314980 @default.
- W2925685215 hasConcept C127162648 @default.
- W2925685215 hasConcept C149635348 @default.
- W2925685215 hasConcept C173608175 @default.
- W2925685215 hasConcept C177264268 @default.
- W2925685215 hasConcept C178489894 @default.
- W2925685215 hasConcept C189783530 @default.
- W2925685215 hasConcept C199360897 @default.
- W2925685215 hasConcept C26713055 @default.
- W2925685215 hasConcept C2776760102 @default.
- W2925685215 hasConcept C2777904410 @default.
- W2925685215 hasConcept C2779639559 @default.
- W2925685215 hasConcept C31258907 @default.
- W2925685215 hasConcept C38556500 @default.
- W2925685215 hasConcept C38652104 @default.
- W2925685215 hasConcept C41008148 @default.
- W2925685215 hasConcept C48044578 @default.
- W2925685215 hasConcept C49289754 @default.
- W2925685215 hasConcept C77088390 @default.
- W2925685215 hasConceptScore W2925685215C111919701 @default.
- W2925685215 hasConceptScore W2925685215C115537543 @default.
- W2925685215 hasConceptScore W2925685215C120314980 @default.
- W2925685215 hasConceptScore W2925685215C127162648 @default.
- W2925685215 hasConceptScore W2925685215C149635348 @default.
- W2925685215 hasConceptScore W2925685215C173608175 @default.
- W2925685215 hasConceptScore W2925685215C177264268 @default.
- W2925685215 hasConceptScore W2925685215C178489894 @default.
- W2925685215 hasConceptScore W2925685215C189783530 @default.
- W2925685215 hasConceptScore W2925685215C199360897 @default.
- W2925685215 hasConceptScore W2925685215C26713055 @default.
- W2925685215 hasConceptScore W2925685215C2776760102 @default.
- W2925685215 hasConceptScore W2925685215C2777904410 @default.
- W2925685215 hasConceptScore W2925685215C2779639559 @default.
- W2925685215 hasConceptScore W2925685215C31258907 @default.
- W2925685215 hasConceptScore W2925685215C38556500 @default.
- W2925685215 hasConceptScore W2925685215C38652104 @default.
- W2925685215 hasConceptScore W2925685215C41008148 @default.
- W2925685215 hasConceptScore W2925685215C48044578 @default.
- W2925685215 hasConceptScore W2925685215C49289754 @default.
- W2925685215 hasConceptScore W2925685215C77088390 @default.