Matches in SemOpenAlex for { <https://semopenalex.org/work/W2893160992> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2893160992 abstract "With the advent of multicore processors, there is a great need to write parallel programs to take advantage of parallel computing resources. However, due to the nondeterminism of parallel execution, the malware behaviors sensitive to thread scheduling are extremely difficult to detect. Dynamic taint analysis is widely used in security problems. By serializing a multithreaded execution and then propagating taint tags along the serialized schedule, existing dynamic taint analysis techniques lead to under-tainting with respect to other possible interleavings under the same input. In this paper, we propose an approach called DSTAM that integrates symbolic analysis and guided execution to systematically detect tainted instances on all possible executions under a given input. Symbolic analysis infers alternative interleavings of an executed trace that cover new tainted instances, and computes thread schedules that guide future executions. Guided execution explores new execution traces that drive future symbolic analysis. We have implemented a prototype as part of an educational tool that teaches secure C programming, where accuracy is more critical than efficiency. To the best of our knowledge, DSTAM is the first algorithm that addresses the challenge of taint analysis for multithreaded program under fixed inputs." @default.
- W2893160992 created "2018-10-05" @default.
- W2893160992 creator A5026160046 @default.
- W2893160992 creator A5028631832 @default.
- W2893160992 creator A5032213389 @default.
- W2893160992 creator A5035804461 @default.
- W2893160992 creator A5087186760 @default.
- W2893160992 date "2020-09-01" @default.
- W2893160992 modified "2023-10-16" @default.
- W2893160992 title "Tell You a Definite Answer: Whether Your Data is Tainted During Thread Scheduling" @default.
- W2893160992 doi "https://doi.org/10.1109/tse.2018.2871666" @default.
- W2893160992 hasPublicationYear "2020" @default.
- W2893160992 type Work @default.
- W2893160992 sameAs 2893160992 @default.
- W2893160992 citedByCount "1" @default.
- W2893160992 countsByYear W28931609922020 @default.
- W2893160992 crossrefType "journal-article" @default.
- W2893160992 hasAuthorship W2893160992A5026160046 @default.
- W2893160992 hasAuthorship W2893160992A5028631832 @default.
- W2893160992 hasAuthorship W2893160992A5032213389 @default.
- W2893160992 hasAuthorship W2893160992A5035804461 @default.
- W2893160992 hasAuthorship W2893160992A5087186760 @default.
- W2893160992 hasConcept C120314980 @default.
- W2893160992 hasConcept C138101251 @default.
- W2893160992 hasConcept C162324750 @default.
- W2893160992 hasConcept C173608175 @default.
- W2893160992 hasConcept C199360897 @default.
- W2893160992 hasConcept C206729178 @default.
- W2893160992 hasConcept C21547014 @default.
- W2893160992 hasConcept C2777904410 @default.
- W2893160992 hasConcept C2779639559 @default.
- W2893160992 hasConcept C41008148 @default.
- W2893160992 hasConcept C52723943 @default.
- W2893160992 hasConcept C63116202 @default.
- W2893160992 hasConcept C65620979 @default.
- W2893160992 hasConcept C78766204 @default.
- W2893160992 hasConcept C80444323 @default.
- W2893160992 hasConceptScore W2893160992C120314980 @default.
- W2893160992 hasConceptScore W2893160992C138101251 @default.
- W2893160992 hasConceptScore W2893160992C162324750 @default.
- W2893160992 hasConceptScore W2893160992C173608175 @default.
- W2893160992 hasConceptScore W2893160992C199360897 @default.
- W2893160992 hasConceptScore W2893160992C206729178 @default.
- W2893160992 hasConceptScore W2893160992C21547014 @default.
- W2893160992 hasConceptScore W2893160992C2777904410 @default.
- W2893160992 hasConceptScore W2893160992C2779639559 @default.
- W2893160992 hasConceptScore W2893160992C41008148 @default.
- W2893160992 hasConceptScore W2893160992C52723943 @default.
- W2893160992 hasConceptScore W2893160992C63116202 @default.
- W2893160992 hasConceptScore W2893160992C65620979 @default.
- W2893160992 hasConceptScore W2893160992C78766204 @default.
- W2893160992 hasConceptScore W2893160992C80444323 @default.
- W2893160992 hasFunder F4320321001 @default.
- W2893160992 hasFunder F4320334945 @default.
- W2893160992 hasLocation W28931609921 @default.
- W2893160992 hasOpenAccess W2893160992 @default.
- W2893160992 hasPrimaryLocation W28931609921 @default.
- W2893160992 hasRelatedWork W1014487 @default.
- W2893160992 hasRelatedWork W1018374 @default.
- W2893160992 hasRelatedWork W11277408 @default.
- W2893160992 hasRelatedWork W13271837 @default.
- W2893160992 hasRelatedWork W13640671 @default.
- W2893160992 hasRelatedWork W1791918 @default.
- W2893160992 hasRelatedWork W2322564 @default.
- W2893160992 hasRelatedWork W2732331 @default.
- W2893160992 hasRelatedWork W3955301 @default.
- W2893160992 hasRelatedWork W1949032 @default.
- W2893160992 isParatext "false" @default.
- W2893160992 isRetracted "false" @default.
- W2893160992 magId "2893160992" @default.
- W2893160992 workType "article" @default.