Now showing items 1-1 of 1

  • A Typed Lambda Calculus for Input Sanitation 

    Fulton, Nathan (2013-10-24)
    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, ...