Lelis, Claudio, 		Marcondes, Cesar, E 		Fealey, Kevin.
" Reasoning over Vulnerabilities via LogiSec of Thoughts: A Reductio Ad Absurdum-Based LLM Framework" <em>Anais do Latin-American Symposium on Dependable Computing (LADC)</em> [Online], (27 outubro 2025)