Securing Code with the Python Type System

This talk shows how Python's type system can help prevent security-impacting logic errors, injection vulnerabilities, and unsafe handling of user-controlled data. It also demonstrates runtime type validation and static taint analysis, and discusses where these techniques can fail.