Firas Tarik Jasim and 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 (Aug. 2026), 301–332. DOI:https://doi.org/10.70917/ijcisim-2026-4214.