Firas Tarik Jasim, Kabir G. Kharade. SQLProof: A Hybrid Security Verification Framework for LLM-Based Text-to-SQL Systems. IJCISIM [Internet]. 2026 Aug. 4 [cited 2026 Oct. 14];18(14s):301-32. Available from: https://cspub-ijcisim.org/index.php/ijcisim/article/view/4214