Institute for Software Research
School of Computer Science, Carnegie Mellon University


Statically Typed String Sanitation Inside a Python

Nathan Fulton, Cyrus Omar, Jonathan Aldrich

December 2014


Keywords: Type systems, regular languages, input sanitation, string sanitation

This report contains supporting evidence for claims put forth and explained in the paper "Statically Typed String Sanitation Inside a Python" [1], including proofs of lemmas and theorems asserted in the paper, examples, additional discussion of the paper's technical content, and errata.

23 pages

Return to: SCS Technical Report Collection
School of Computer Science

This page maintained by