FIRAS TARIK JASIM; KABIR G. KHARADE. SQLProof: A Hybrid Security Verification Framework for LLM-Based Text-to-SQL Systems. International Journal of Computer Information Systems and Industrial Management Applications, [S. l.], v. 18, n. 14s, p. 301–332, 2026. DOI: 10.70917/ijcisim-2026-4214. Disponível em: https://cspub-ijcisim.org/index.php/ijcisim/article/view/4214. Acesso em: 14 oct. 2026.