Matches in SemOpenAlex for { <https://semopenalex.org/work/W2017696589> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2017696589 abstract "Web applications must ultimately command systems like web browsers and database engines using strings. Strings derived from improperly sanitized user input can as a result be a vector for command injection attacks. In this paper, we introduce regular string types, which classify strings constrained statically to be in a regular language specified by a regular expression. Regular strings support standard string operations like concatenation and substitution, as well as safe coercions, so they can be used to implement, in an essentially conventional manner, the pieces of a web application or framework that handle strings arising from user input. Simple type annotations at function interfaces can be used to statically verify that sanitization has been performed correctly without introducing redundant run-time checks. We specify this type system first as a minimal typed lambda calculus, lambdaRS. To be practical, adopting a specialized type system like this should not require the adoption of a new programming language. Instead, we advocate for extensible type systems: new type system fragments like this should be implemented as libraries atop a mechanism that guarantees that they can be safely composed. We support this with two contributions. First, we specify a translation from lambdaRS to a calculus with only standard strings and regular expressions. Then, taking Python as a language with these constructs, we implement the type system together with the translation as a library using typy, an extensible static type system for Python." @default.
- W2017696589 created "2016-06-24" @default.
- W2017696589 creator A5001010367 @default.
- W2017696589 creator A5069329835 @default.
- W2017696589 creator A5091372985 @default.
- W2017696589 date "2014-01-01" @default.
- W2017696589 modified "2023-10-18" @default.
- W2017696589 title "Statically typed string sanitation inside a python" @default.
- W2017696589 cites W1590339273 @default.
- W2017696589 cites W1760139041 @default.
- W2017696589 cites W2036676170 @default.
- W2017696589 cites W2072137506 @default.
- W2017696589 cites W2106791773 @default.
- W2017696589 cites W2144778998 @default.
- W2017696589 cites W2156429182 @default.
- W2017696589 cites W2161151447 @default.
- W2017696589 cites W4242024236 @default.
- W2017696589 cites W80700283 @default.
- W2017696589 doi "https://doi.org/10.1145/2687148.2687152" @default.
- W2017696589 hasPublicationYear "2014" @default.
- W2017696589 type Work @default.
- W2017696589 sameAs 2017696589 @default.
- W2017696589 citedByCount "3" @default.
- W2017696589 countsByYear W20176965892016 @default.
- W2017696589 countsByYear W20176965892019 @default.
- W2017696589 crossrefType "proceedings-article" @default.
- W2017696589 hasAuthorship W2017696589A5001010367 @default.
- W2017696589 hasAuthorship W2017696589A5069329835 @default.
- W2017696589 hasAuthorship W2017696589A5091372985 @default.
- W2017696589 hasBestOaLocation W20176965891 @default.
- W2017696589 hasConcept C121329065 @default.
- W2017696589 hasConcept C154945302 @default.
- W2017696589 hasConcept C157486923 @default.
- W2017696589 hasConcept C198370458 @default.
- W2017696589 hasConcept C199360897 @default.
- W2017696589 hasConcept C2776214188 @default.
- W2017696589 hasConcept C32833848 @default.
- W2017696589 hasConcept C33923547 @default.
- W2017696589 hasConcept C37914503 @default.
- W2017696589 hasConcept C41008148 @default.
- W2017696589 hasConcept C42383842 @default.
- W2017696589 hasConcept C44779574 @default.
- W2017696589 hasConcept C519991488 @default.
- W2017696589 hasConcept C61423126 @default.
- W2017696589 hasConcept C80444323 @default.
- W2017696589 hasConceptScore W2017696589C121329065 @default.
- W2017696589 hasConceptScore W2017696589C154945302 @default.
- W2017696589 hasConceptScore W2017696589C157486923 @default.
- W2017696589 hasConceptScore W2017696589C198370458 @default.
- W2017696589 hasConceptScore W2017696589C199360897 @default.
- W2017696589 hasConceptScore W2017696589C2776214188 @default.
- W2017696589 hasConceptScore W2017696589C32833848 @default.
- W2017696589 hasConceptScore W2017696589C33923547 @default.
- W2017696589 hasConceptScore W2017696589C37914503 @default.
- W2017696589 hasConceptScore W2017696589C41008148 @default.
- W2017696589 hasConceptScore W2017696589C42383842 @default.
- W2017696589 hasConceptScore W2017696589C44779574 @default.
- W2017696589 hasConceptScore W2017696589C519991488 @default.
- W2017696589 hasConceptScore W2017696589C61423126 @default.
- W2017696589 hasConceptScore W2017696589C80444323 @default.
- W2017696589 hasLocation W20176965891 @default.
- W2017696589 hasOpenAccess W2017696589 @default.
- W2017696589 hasPrimaryLocation W20176965891 @default.
- W2017696589 hasRelatedWork W1575522358 @default.
- W2017696589 hasRelatedWork W2112250323 @default.
- W2017696589 hasRelatedWork W2126234902 @default.
- W2017696589 hasRelatedWork W2129345992 @default.
- W2017696589 hasRelatedWork W2144541538 @default.
- W2017696589 hasRelatedWork W3014933227 @default.
- W2017696589 hasRelatedWork W3034080026 @default.
- W2017696589 hasRelatedWork W4249990212 @default.
- W2017696589 hasRelatedWork W84769035 @default.
- W2017696589 hasRelatedWork W2467914100 @default.
- W2017696589 isParatext "false" @default.
- W2017696589 isRetracted "false" @default.
- W2017696589 magId "2017696589" @default.
- W2017696589 workType "article" @default.