Claudio Lelis, Cesar Marcondes, and Kevin Fealey. 2025.
 Reasoning over Vulnerabilities via LogiSec of Thoughts: A Reductio Ad Absurdum-Based LLM Framework. In <em>Proceedings of the 14th Latin-American Symposium on Dependable Computing</em>, October 27, 2025, Valparaíso/Chile, Brasil. SBC, Porto Alegre, Brasil, 112-129.