C. Lelis, C. Marcondes, and K. Fealey.
" Reasoning over Vulnerabilities via LogiSec of Thoughts: A Reductio Ad Absurdum-Based LLM Framework", in <em>Anais do XIV Latin-American Symposium on Dependable Computing</em>, Valparaíso/Chile, 2025, pp. 112-129.