Oct. 12 - Faculty Colloq: Automated Vulnerability Analysis and Exploit Generation for Web Applications