Firas Tarik Jasim and Kabir G. Kharade, “SQLProof: A Hybrid Security Verification Framework for LLM-Based Text-to-SQL Systems”, IJCISIM, vol. 18, no. 14s, pp. 301–332, Aug. 2026.