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), pp. 301–332. doi: 10.70917/ijcisim-2026-4214.