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 18, no. 14s (August 4, 2026): 301–332. Accessed October 14, 2026. https://cspub-ijcisim.org/index.php/ijcisim/article/view/4214.