Firas Tarik Jasim, and 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, vol. 18, no. 14s, Aug. 2026, pp. 301-32, doi:10.70917/ijcisim-2026-4214.