CMU-ISR-14-112
Institute for Software Research
School of Computer Science, Carnegie Mellon University


CMU-ISR-14-112

Statically Typed String Sanitation Inside a Python

Nathan Fulton, Cyrus Omar, Jonathan Aldrich

December 2014

CMU-ISR-14-112.pdf


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 reports@cs.cmu.edu