Preventing Input Validation Vulnerabilities in Web Applications through Automated Type Analysis | IEEE Conference Publication | IEEE Xplore