Reasoning over Vulnerabilities via LogiSec of Thoughts: A Reductio Ad Absurdum-Based LLM Framework. - Claudio A. S. Lelis; Cesar Augusto Cavalheiro Marcondes; Kevin Fealey (LADC, 2025)