Title: Discovery of Web Vulnerabilities at an Intermediate Level
Speaker: Paulo Antunes, LASIGE – DI/FCUL
When: Tuesday, March 23, 17h45
Short summary: We aim to develop a novel approach to detect and remove vulnerabilities in PHP programs by leveraging intermediate language representation of code which reduces some of the syntactic hurdles from typical static analysis of PHP. We propose a guided analysis that will avoid common approximations made in traditional static analysis which can result in false positives and false negatives.
Short Bio: Paulo graduated the MSc in Informatics Engineering in 2018 where he studied vulnerability detection and automatic correction in web applications. For his PhD, Paulo is researching new ways to detect and correct vulnerabilities.