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