A Typed Lambda Calculus for Input Sanitation
Abstract
Programmers often wish to validate or sanitize user input. One common approach to this problem is the use of regular expressions. Unvalidated or insufficiently sanitized user input can cause security problems. Therefore, a compile-time guarantee that input sanitation algorithms are implemented and used correctly could ensure the absence of certain sorts of vulnerabilities. This thesis presents $\lcs$, a typed lambda calculus which captures the essential properties necessary to achieve such a guarantee.
Collections
Related items
Showing items related by title, author, creator and subject.
-
Student and Faculty Recital
Music Department- Lambda Kappa (1997-11-02) -
Lambda Kappa Pledge Class of Spring 200 - "Pledges in Playland" - April 14, 2000
Music Department - Lambda Kappa (2000-04-14) -
Lambda Kappa Concert - "Back to the Classics: A Fall Recital"
Music Department - Lambda Kappa (2005-11-06)