Firas Tarik Jasim; Kabir G. Kharade. SQLProof: A Hybrid Security Verification Framework for LLM-Based Text-to-SQL Systems. IJCISIM 2026, 18, 301-332.