Co-investigator Antonio Torralba
Automatic detection and filtering of inputs that exploit security vulnerabilities. Provides a guarantee that no input that passes the filter can trigger certain vulnerabilities.