LELIS, Claudio A. S.; MARCONDES, Cesar A. C.; FEALEY, Kevin. Reasoning over Vulnerabilities via LogiSec of Thoughts: A Reductio Ad Absurdum-Based LLM Framework. In: LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE COMPUTING (LADC), 14. , 2025, Valparaíso/Chile. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2025 . p. 112-129.