Lelis, C., 		Marcondes, C., & 		Fealey, K.
(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>, (pp. 112-129). Porto Alegre: SBC.