Matches in SemOpenAlex for { <https://semopenalex.org/work/W2890425577> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2890425577 abstract "Nowadays, most applications are developed to be deployed to the web. These web applications can be accessed by many users, including malicious users who try to attack them. In order to defend against attacks such as SQL injections and XSS, many web applications use sanitizers. Sanitizers will modify a given input so as to remove the presence of dangerous characters. It is, however, very difficult to write correct sanitizers. And reasoning about the correctness of any program tends to be very difficult, especially if the program is quite large. Fortunately, sanitizers are generally small pieces of code due to which it is possible to reason about their correctness.In this research, we present a method to reason about the correctness of sanitizer implementations by comparing them to specifications.This method learns models, symbolic finite transducers, in a black-box manner, which describe the behaviour of the sanitizers. These models are compared to specified models in order to find erroneous behaviour of sanitizer implementations. The learning algorithm and ability to compare models have all been implemented in a tool called SFTLearning. Using SFTLearning, we were able to derive models from real-world sanitizers and reason about their correctness." @default.
- W2890425577 created "2018-09-27" @default.
- W2890425577 creator A5005542869 @default.
- W2890425577 date "2018-01-01" @default.
- W2890425577 modified "2023-09-26" @default.
- W2890425577 title "Reasoning About the Correctness of Sanitizers" @default.
- W2890425577 hasPublicationYear "2018" @default.
- W2890425577 type Work @default.
- W2890425577 sameAs 2890425577 @default.
- W2890425577 citedByCount "0" @default.
- W2890425577 crossrefType "dissertation" @default.
- W2890425577 hasAuthorship W2890425577A5005542869 @default.
- W2890425577 hasConcept C10138342 @default.
- W2890425577 hasConcept C136764020 @default.
- W2890425577 hasConcept C143432726 @default.
- W2890425577 hasConcept C150451098 @default.
- W2890425577 hasConcept C162324750 @default.
- W2890425577 hasConcept C164120249 @default.
- W2890425577 hasConcept C177264268 @default.
- W2890425577 hasConcept C182306322 @default.
- W2890425577 hasConcept C194222762 @default.
- W2890425577 hasConcept C199360897 @default.
- W2890425577 hasConcept C26713055 @default.
- W2890425577 hasConcept C2776760102 @default.
- W2890425577 hasConcept C35578498 @default.
- W2890425577 hasConcept C38652104 @default.
- W2890425577 hasConcept C39569185 @default.
- W2890425577 hasConcept C41008148 @default.
- W2890425577 hasConcept C54355233 @default.
- W2890425577 hasConcept C55439883 @default.
- W2890425577 hasConcept C59241245 @default.
- W2890425577 hasConcept C79373723 @default.
- W2890425577 hasConcept C86803240 @default.
- W2890425577 hasConcept C97854310 @default.
- W2890425577 hasConceptScore W2890425577C10138342 @default.
- W2890425577 hasConceptScore W2890425577C136764020 @default.
- W2890425577 hasConceptScore W2890425577C143432726 @default.
- W2890425577 hasConceptScore W2890425577C150451098 @default.
- W2890425577 hasConceptScore W2890425577C162324750 @default.
- W2890425577 hasConceptScore W2890425577C164120249 @default.
- W2890425577 hasConceptScore W2890425577C177264268 @default.
- W2890425577 hasConceptScore W2890425577C182306322 @default.
- W2890425577 hasConceptScore W2890425577C194222762 @default.
- W2890425577 hasConceptScore W2890425577C199360897 @default.
- W2890425577 hasConceptScore W2890425577C26713055 @default.
- W2890425577 hasConceptScore W2890425577C2776760102 @default.
- W2890425577 hasConceptScore W2890425577C35578498 @default.
- W2890425577 hasConceptScore W2890425577C38652104 @default.
- W2890425577 hasConceptScore W2890425577C39569185 @default.
- W2890425577 hasConceptScore W2890425577C41008148 @default.
- W2890425577 hasConceptScore W2890425577C54355233 @default.
- W2890425577 hasConceptScore W2890425577C55439883 @default.
- W2890425577 hasConceptScore W2890425577C59241245 @default.
- W2890425577 hasConceptScore W2890425577C79373723 @default.
- W2890425577 hasConceptScore W2890425577C86803240 @default.
- W2890425577 hasConceptScore W2890425577C97854310 @default.
- W2890425577 hasLocation W28904255771 @default.
- W2890425577 hasOpenAccess W2890425577 @default.
- W2890425577 hasPrimaryLocation W28904255771 @default.
- W2890425577 hasRelatedWork W1492018576 @default.
- W2890425577 hasRelatedWork W153737854 @default.
- W2890425577 hasRelatedWork W1590932886 @default.
- W2890425577 hasRelatedWork W2036639103 @default.
- W2890425577 hasRelatedWork W2066183757 @default.
- W2890425577 hasRelatedWork W2078186835 @default.
- W2890425577 hasRelatedWork W2151619740 @default.
- W2890425577 hasRelatedWork W2228302846 @default.
- W2890425577 hasRelatedWork W2339080697 @default.
- W2890425577 hasRelatedWork W2430439109 @default.
- W2890425577 hasRelatedWork W2767572437 @default.
- W2890425577 hasRelatedWork W2948763287 @default.
- W2890425577 hasRelatedWork W3009336449 @default.
- W2890425577 hasRelatedWork W3082151875 @default.
- W2890425577 hasRelatedWork W3096325586 @default.
- W2890425577 hasRelatedWork W3099379383 @default.
- W2890425577 hasRelatedWork W3100637409 @default.
- W2890425577 hasRelatedWork W3214543233 @default.
- W2890425577 hasRelatedWork W39382207 @default.
- W2890425577 hasRelatedWork W2911721057 @default.
- W2890425577 isParatext "false" @default.
- W2890425577 isRetracted "false" @default.
- W2890425577 magId "2890425577" @default.
- W2890425577 workType "dissertation" @default.