Matches in SemOpenAlex for { <https://semopenalex.org/work/W3104309163> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W3104309163 endingPage "140" @default.
- W3104309163 startingPage "123" @default.
- W3104309163 abstract "AbstractWe present Jaint, a generic security analysis for Java Web-applications that combines concolic execution and dynamic taint analysis in a modular way. Jaint executes user-defined taint analyses that are formally specified in a domain-specific language for expressing taint-flow analyses. We demonstrate how dynamic taint analysis can be integrated into JDart, a dynamic symbolic execution engine for the Java virtual machine in Java PathFinder. The integration of the two methods is modular in the sense that it traces taint independently of symbolic annotations. Therefore, Jaint is capable of sanitizing taint information (if specified by a taint analysis) and using multi-colored taint for running multiple taint analyses in parallel. We design a domain-specific language that enables users to define specific taint-based security analyses for Java Web-applications. Specifications in this domain-specific language serve as a basis for the automated generation of corresponding taint injectors, sanitization points and taint-flow monitors that implement taint analyses in Jaint. We demonstrate the generality and effectiveness of the approach by analyzing the OWASP benchmark set, using generated taint analyses for all 11 classes of CVEs in the benchmark set." @default.
- W3104309163 created "2020-11-23" @default.
- W3104309163 creator A5027343585 @default.
- W3104309163 creator A5037058130 @default.
- W3104309163 creator A5091448242 @default.
- W3104309163 date "2020-01-01" @default.
- W3104309163 modified "2023-09-26" @default.
- W3104309163 title "Jaint: A Framework for User-Defined Dynamic Taint-Analyses Based on Dynamic Symbolic Execution of Java Programs" @default.
- W3104309163 cites W1511560695 @default.
- W3104309163 cites W1551910050 @default.
- W3104309163 cites W2040060046 @default.
- W3104309163 cites W2089745089 @default.
- W3104309163 cites W2101152030 @default.
- W3104309163 cites W2107147876 @default.
- W3104309163 cites W2107510936 @default.
- W3104309163 cites W2119251836 @default.
- W3104309163 cites W2122049982 @default.
- W3104309163 cites W2138788987 @default.
- W3104309163 cites W2157575657 @default.
- W3104309163 cites W2381524979 @default.
- W3104309163 cites W2501678966 @default.
- W3104309163 cites W2514492901 @default.
- W3104309163 cites W2963723316 @default.
- W3104309163 cites W3017087660 @default.
- W3104309163 cites W78133515 @default.
- W3104309163 doi "https://doi.org/10.1007/978-3-030-63461-2_7" @default.
- W3104309163 hasPublicationYear "2020" @default.
- W3104309163 type Work @default.
- W3104309163 sameAs 3104309163 @default.
- W3104309163 citedByCount "2" @default.
- W3104309163 countsByYear W31043091632021 @default.
- W3104309163 countsByYear W31043091632022 @default.
- W3104309163 crossrefType "book-chapter" @default.
- W3104309163 hasAuthorship W3104309163A5027343585 @default.
- W3104309163 hasAuthorship W3104309163A5037058130 @default.
- W3104309163 hasAuthorship W3104309163A5091448242 @default.
- W3104309163 hasConcept C101468663 @default.
- W3104309163 hasConcept C111919701 @default.
- W3104309163 hasConcept C13280743 @default.
- W3104309163 hasConcept C134306372 @default.
- W3104309163 hasConcept C177264268 @default.
- W3104309163 hasConcept C185798385 @default.
- W3104309163 hasConcept C199360897 @default.
- W3104309163 hasConcept C205649164 @default.
- W3104309163 hasConcept C2777002779 @default.
- W3104309163 hasConcept C2777904410 @default.
- W3104309163 hasConcept C2779639559 @default.
- W3104309163 hasConcept C33923547 @default.
- W3104309163 hasConcept C36503486 @default.
- W3104309163 hasConcept C41008148 @default.
- W3104309163 hasConcept C548217200 @default.
- W3104309163 hasConcept C63116202 @default.
- W3104309163 hasConceptScore W3104309163C101468663 @default.
- W3104309163 hasConceptScore W3104309163C111919701 @default.
- W3104309163 hasConceptScore W3104309163C13280743 @default.
- W3104309163 hasConceptScore W3104309163C134306372 @default.
- W3104309163 hasConceptScore W3104309163C177264268 @default.
- W3104309163 hasConceptScore W3104309163C185798385 @default.
- W3104309163 hasConceptScore W3104309163C199360897 @default.
- W3104309163 hasConceptScore W3104309163C205649164 @default.
- W3104309163 hasConceptScore W3104309163C2777002779 @default.
- W3104309163 hasConceptScore W3104309163C2777904410 @default.
- W3104309163 hasConceptScore W3104309163C2779639559 @default.
- W3104309163 hasConceptScore W3104309163C33923547 @default.
- W3104309163 hasConceptScore W3104309163C36503486 @default.
- W3104309163 hasConceptScore W3104309163C41008148 @default.
- W3104309163 hasConceptScore W3104309163C548217200 @default.
- W3104309163 hasConceptScore W3104309163C63116202 @default.
- W3104309163 hasLocation W31043091631 @default.
- W3104309163 hasOpenAccess W3104309163 @default.
- W3104309163 hasPrimaryLocation W31043091631 @default.
- W3104309163 hasRelatedWork W1490787830 @default.
- W3104309163 hasRelatedWork W1493446239 @default.
- W3104309163 hasRelatedWork W1527178015 @default.
- W3104309163 hasRelatedWork W1556422878 @default.
- W3104309163 hasRelatedWork W1860988706 @default.
- W3104309163 hasRelatedWork W2162118494 @default.
- W3104309163 hasRelatedWork W2899100898 @default.
- W3104309163 hasRelatedWork W2954121957 @default.
- W3104309163 hasRelatedWork W3121650164 @default.
- W3104309163 hasRelatedWork W2528467228 @default.
- W3104309163 isParatext "false" @default.
- W3104309163 isRetracted "false" @default.
- W3104309163 magId "3104309163" @default.
- W3104309163 workType "book-chapter" @default.