Firas Tarik Jasim, & Kabir G. Kharade. (2026). SQLProof: A Hybrid Security Verification Framework for LLM-Based Text-to-SQL Systems. International Journal of Computer Information Systems and Industrial Management Applications, 18(14s), 301–332. https://doi.org/10.70917/ijcisim-2026-4214