Transmissão através de Videoconferência
Conversa com Paulo Antunes (LASIGE, DI-FCUL).
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.
Transmissão em direto via Zoom.
17h45
