Towards a SQL Injection Vulnerability Detector Based on Session Types. - António Silvestre; Ibéria Medeiros; Andreia Mordido (ENASE, 2024)