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):301-32. https://doi.org/10.70917/ijcisim-2026-4214.