Matches in SemOpenAlex for { <https://semopenalex.org/work/W3189260541> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W3189260541 abstract "OS kernels enforce many security checks to validate system states. We observe that paths containing security checks are in fact very informative in inferring critical semantics in OS kernel. In particular, Such slices are valuable for detecting kernel semantic bugs because understanding semantics is typically required by the detection. However, there are few studies that address security checks, and constructing these slices is challenging due to not only a lack of clear criteria but also the large and complex OS. In this paper, combining security checks with program slicing, we first systematically study security check peer slices and propose an automatic approach to construct security check peer slices in OS kernel. Using an inter-procedural, semantic- and context-aware analysis, we can find slices sharing similar semantics in similar contexts. Based on the information offered by security check peer slices, we then introduce the Scenarios for semantic vulnerability detection by security check peer slices: missing security check and inaccurate security check. The evaluation results show that our approach can accurately constructing security check peer slices." @default.
- W3189260541 created "2021-08-16" @default.
- W3189260541 creator A5030027877 @default.
- W3189260541 creator A5063711833 @default.
- W3189260541 creator A5067047877 @default.
- W3189260541 creator A5089665236 @default.
- W3189260541 date "2021-06-01" @default.
- W3189260541 modified "2023-09-23" @default.
- W3189260541 title "Automatically Constructing Peer Slices via Semanticand Context-Aware Security Checks in the Linux Kernel" @default.
- W3189260541 cites W1545684573 @default.
- W3189260541 cites W1968027261 @default.
- W3189260541 cites W2027256755 @default.
- W3189260541 cites W2028820179 @default.
- W3189260541 cites W2078186835 @default.
- W3189260541 cites W2080781552 @default.
- W3189260541 cites W2135794045 @default.
- W3189260541 cites W2155851497 @default.
- W3189260541 cites W2166293939 @default.
- W3189260541 cites W2293624369 @default.
- W3189260541 cites W2484116259 @default.
- W3189260541 cites W2509822438 @default.
- W3189260541 cites W2605597658 @default.
- W3189260541 cites W2740510556 @default.
- W3189260541 cites W2751613360 @default.
- W3189260541 cites W2794670092 @default.
- W3189260541 cites W2891253189 @default.
- W3189260541 cites W2891748016 @default.
- W3189260541 cites W2964241064 @default.
- W3189260541 cites W2964938167 @default.
- W3189260541 cites W2972595880 @default.
- W3189260541 cites W7362409 @default.
- W3189260541 cites W2968152713 @default.
- W3189260541 doi "https://doi.org/10.1109/dsn-w52860.2021.00028" @default.
- W3189260541 hasPublicationYear "2021" @default.
- W3189260541 type Work @default.
- W3189260541 sameAs 3189260541 @default.
- W3189260541 citedByCount "0" @default.
- W3189260541 crossrefType "proceedings-article" @default.
- W3189260541 hasAuthorship W3189260541A5030027877 @default.
- W3189260541 hasAuthorship W3189260541A5063711833 @default.
- W3189260541 hasAuthorship W3189260541A5067047877 @default.
- W3189260541 hasAuthorship W3189260541A5089665236 @default.
- W3189260541 hasConcept C111919701 @default.
- W3189260541 hasConcept C114614502 @default.
- W3189260541 hasConcept C136764020 @default.
- W3189260541 hasConcept C151730666 @default.
- W3189260541 hasConcept C184337299 @default.
- W3189260541 hasConcept C199360897 @default.
- W3189260541 hasConcept C2776190703 @default.
- W3189260541 hasConcept C2779343474 @default.
- W3189260541 hasConcept C2780801425 @default.
- W3189260541 hasConcept C33923547 @default.
- W3189260541 hasConcept C38652104 @default.
- W3189260541 hasConcept C41008148 @default.
- W3189260541 hasConcept C553261973 @default.
- W3189260541 hasConcept C74193536 @default.
- W3189260541 hasConcept C80444323 @default.
- W3189260541 hasConcept C86803240 @default.
- W3189260541 hasConcept C95713431 @default.
- W3189260541 hasConceptScore W3189260541C111919701 @default.
- W3189260541 hasConceptScore W3189260541C114614502 @default.
- W3189260541 hasConceptScore W3189260541C136764020 @default.
- W3189260541 hasConceptScore W3189260541C151730666 @default.
- W3189260541 hasConceptScore W3189260541C184337299 @default.
- W3189260541 hasConceptScore W3189260541C199360897 @default.
- W3189260541 hasConceptScore W3189260541C2776190703 @default.
- W3189260541 hasConceptScore W3189260541C2779343474 @default.
- W3189260541 hasConceptScore W3189260541C2780801425 @default.
- W3189260541 hasConceptScore W3189260541C33923547 @default.
- W3189260541 hasConceptScore W3189260541C38652104 @default.
- W3189260541 hasConceptScore W3189260541C41008148 @default.
- W3189260541 hasConceptScore W3189260541C553261973 @default.
- W3189260541 hasConceptScore W3189260541C74193536 @default.
- W3189260541 hasConceptScore W3189260541C80444323 @default.
- W3189260541 hasConceptScore W3189260541C86803240 @default.
- W3189260541 hasConceptScore W3189260541C95713431 @default.
- W3189260541 hasLocation W31892605411 @default.
- W3189260541 hasOpenAccess W3189260541 @default.
- W3189260541 hasPrimaryLocation W31892605411 @default.
- W3189260541 hasRelatedWork W1489262808 @default.
- W3189260541 hasRelatedWork W1870885453 @default.
- W3189260541 hasRelatedWork W1976721395 @default.
- W3189260541 hasRelatedWork W1995407414 @default.
- W3189260541 hasRelatedWork W2096055595 @default.
- W3189260541 hasRelatedWork W2099080307 @default.
- W3189260541 hasRelatedWork W2615859958 @default.
- W3189260541 hasRelatedWork W2933270146 @default.
- W3189260541 hasRelatedWork W3022934173 @default.
- W3189260541 hasRelatedWork W3189260541 @default.
- W3189260541 isParatext "false" @default.
- W3189260541 isRetracted "false" @default.
- W3189260541 magId "3189260541" @default.
- W3189260541 workType "article" @default.