Title: Discovery of Web Vulnerabilities at an Intermediate Level

Speaker: Paulo Antunes, LASIGE – DI/FCUL

When: Tuesday, March 23, 17h45

Where: https://videoconf-colibri.zoom.us/j/87137996435

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.