Matches in SemOpenAlex for { <https://semopenalex.org/work/W2157623558> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2157623558 endingPage "299" @default.
- W2157623558 startingPage "290" @default.
- W2157623558 abstract "Verification of string manipulation operations is a crucial problem in computer security. In this paper, we present a new relational string verification technique based on multi-track automata. Our approach is capable of verifying properties that depend on relations among string variables. This enables us to prove that vulnerabilities that result from improper string manipulation do not exist in a given program. Our main contributions in this paper can be summarized as follows: (1) We formally characterize the string verification problem as the reachability analysis of string systems and show decidability/undecidability results for several string analysis problems. (2) We develop a sound symbolic analysis technique for string verification that over-approximates the reachable states of a given string system using multi-track automata and summarization. (3) We evaluate the presented techniques with respect to several string analysis benchmarks extracted from real web applications." @default.
- W2157623558 created "2016-06-24" @default.
- W2157623558 creator A5022580520 @default.
- W2157623558 creator A5039991493 @default.
- W2157623558 creator A5074809336 @default.
- W2157623558 date "2011-01-01" @default.
- W2157623558 modified "2023-10-16" @default.
- W2157623558 title "Relational String Verification Using Multi-track Automata" @default.
- W2157623558 cites W1530609294 @default.
- W2157623558 cites W1561331110 @default.
- W2157623558 cites W1860772589 @default.
- W2157623558 cites W1861590051 @default.
- W2157623558 cites W1952344271 @default.
- W2157623558 cites W2096854577 @default.
- W2157623558 cites W2103660000 @default.
- W2157623558 cites W2107604680 @default.
- W2157623558 cites W2117402063 @default.
- W2157623558 cites W2134646643 @default.
- W2157623558 cites W2142504844 @default.
- W2157623558 cites W4232808412 @default.
- W2157623558 cites W4240309233 @default.
- W2157623558 doi "https://doi.org/10.1007/978-3-642-18098-9_31" @default.
- W2157623558 hasPublicationYear "2011" @default.
- W2157623558 type Work @default.
- W2157623558 sameAs 2157623558 @default.
- W2157623558 citedByCount "13" @default.
- W2157623558 countsByYear W21576235582012 @default.
- W2157623558 countsByYear W21576235582013 @default.
- W2157623558 countsByYear W21576235582014 @default.
- W2157623558 countsByYear W21576235582015 @default.
- W2157623558 countsByYear W21576235582017 @default.
- W2157623558 countsByYear W21576235582021 @default.
- W2157623558 crossrefType "book-chapter" @default.
- W2157623558 hasAuthorship W2157623558A5022580520 @default.
- W2157623558 hasAuthorship W2157623558A5039991493 @default.
- W2157623558 hasAuthorship W2157623558A5074809336 @default.
- W2157623558 hasBestOaLocation W21576235582 @default.
- W2157623558 hasConcept C112505250 @default.
- W2157623558 hasConcept C11413529 @default.
- W2157623558 hasConcept C136643341 @default.
- W2157623558 hasConcept C153269930 @default.
- W2157623558 hasConcept C157486923 @default.
- W2157623558 hasConcept C162319229 @default.
- W2157623558 hasConcept C199360897 @default.
- W2157623558 hasConcept C22820288 @default.
- W2157623558 hasConcept C33923547 @default.
- W2157623558 hasConcept C37914503 @default.
- W2157623558 hasConcept C41008148 @default.
- W2157623558 hasConcept C7757238 @default.
- W2157623558 hasConcept C80444323 @default.
- W2157623558 hasConceptScore W2157623558C112505250 @default.
- W2157623558 hasConceptScore W2157623558C11413529 @default.
- W2157623558 hasConceptScore W2157623558C136643341 @default.
- W2157623558 hasConceptScore W2157623558C153269930 @default.
- W2157623558 hasConceptScore W2157623558C157486923 @default.
- W2157623558 hasConceptScore W2157623558C162319229 @default.
- W2157623558 hasConceptScore W2157623558C199360897 @default.
- W2157623558 hasConceptScore W2157623558C22820288 @default.
- W2157623558 hasConceptScore W2157623558C33923547 @default.
- W2157623558 hasConceptScore W2157623558C37914503 @default.
- W2157623558 hasConceptScore W2157623558C41008148 @default.
- W2157623558 hasConceptScore W2157623558C7757238 @default.
- W2157623558 hasConceptScore W2157623558C80444323 @default.
- W2157623558 hasLocation W21576235581 @default.
- W2157623558 hasLocation W21576235582 @default.
- W2157623558 hasOpenAccess W2157623558 @default.
- W2157623558 hasPrimaryLocation W21576235581 @default.
- W2157623558 hasRelatedWork W1582650717 @default.
- W2157623558 hasRelatedWork W1952344271 @default.
- W2157623558 hasRelatedWork W1982132104 @default.
- W2157623558 hasRelatedWork W2023036777 @default.
- W2157623558 hasRelatedWork W2050304663 @default.
- W2157623558 hasRelatedWork W2107012191 @default.
- W2157623558 hasRelatedWork W2147410603 @default.
- W2157623558 hasRelatedWork W2157623558 @default.
- W2157623558 hasRelatedWork W2166969310 @default.
- W2157623558 hasRelatedWork W2889459478 @default.
- W2157623558 isParatext "false" @default.
- W2157623558 isRetracted "false" @default.
- W2157623558 magId "2157623558" @default.
- W2157623558 workType "book-chapter" @default.