Lelis, C., 		Marcondes, C., & 		Fealey, K.
2025 out 27.  Reasoning over Vulnerabilities via LogiSec of Thoughts: A Reductio Ad Absurdum-Based LLM Framework. Anais do Latin-American Symposium on Dependable Computing (LADC). [Online] :