• Login
    View Item 
    •   DSpace Home
    • Student Scholarship
    • Mathematics Department
    • Senior Theses
    • 2012-2013
    • View Item
    •   DSpace Home
    • Student Scholarship
    • Mathematics Department
    • Senior Theses
    • 2012-2013
    • View Item
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    A Typed Lambda Calculus for Input Sanitation

    Thumbnail
    View/Open
    Nathan Fulton Senior Thesis (304.0Kb)
    Date
    2013-10-24
    Author
    Fulton, Nathan
    Metadata
     Show full item record
    Subjects
    input sanitation; lambda calculus; programming
    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
    • 2012-2013

    Related items

    Showing items related by title, author, creator and subject.

    • Thumbnail

      Student and Faculty Recital 

      Music Department- Lambda Kappa (1997-11-02)
    • Thumbnail

      Lambda Kappa Pledge Class of Spring 200 - "Pledges in Playland" - April 14, 2000 

      Music Department - Lambda Kappa (2000-04-14)
    • Thumbnail

      Lambda Kappa Concert - "Back to the Classics: A Fall Recital" 

      Music Department - Lambda Kappa (2005-11-06)

    Browse

    All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

    My Account

    LoginRegister

    Carthage College © 2015-2022
    Contact Us | Send Feedback
    DSpace Express is a service operated by 
    Atmire NV