{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,11]],"date-time":"2026-02-11T10:53:38Z","timestamp":1770807218888,"version":"3.50.0"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032115386","type":"print"},{"value":"9783032115393","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-11539-3_7","type":"book-chapter","created":{"date-parts":[[2026,2,11]],"date-time":"2026-02-11T05:13:37Z","timestamp":1770786817000},"page":"112-129","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Reasoning over Vulnerabilities via\u00a0LogiSec of\u00a0Thoughts: A Reductio Ad Absurdum-Based LLM Framework"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5307-3292","authenticated-orcid":false,"given":"Claudio A. S.","family":"Lelis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1574-0362","authenticated-orcid":false,"given":"Cesar A. C.","family":"Marcondes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-9233-2115","authenticated-orcid":false,"given":"Kevin","family":"Fealey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2026,2,12]]},"reference":[{"key":"7_CR1","unstructured":"Alrashedy, K., Aljasser, A.: Can LLMs patch security issues? arXiv preprint arXiv:2312.00024 (2023)"},{"key":"7_CR2","unstructured":"Britton, T., Jeng, L., Carver, G., Cheak, P., Katzenellenbogen, T.: Reversible debugging software. Judge Business School, University Cambridge, Cambridge, UK, Technical report, vol. 229 (2013)"},{"key":"7_CR3","unstructured":"Brown, T.B., et\u00a0al.: Language models are few-shot learners. arXiv preprint arXiv:2005.14165 (2020)"},{"key":"7_CR4","unstructured":"Charalambous, Y., Tihanyi, N., Jain, R., Sun, Y., Ferrag, M.A., Cordeiro, L.C.: A new era in software security: towards self-healing software via large language models and formal verification. arXiv preprint arXiv:2305.14752 (2023)"},{"key":"7_CR5","unstructured":"Chen, M., et\u00a0al.: Evaluating large language models trained on code. arXiv preprint arXiv:2107.03374 (2021)"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Fan, A., et al.: Large language models for software engineering: survey and open problems. In: 2023 IEEE\/ACM International Conference on Software Engineering: Future of Software Engineering (ICSE-FoSE), pp. 31\u201353. IEEE (2023)","DOI":"10.1109\/ICSE-FoSE59343.2023.00008"},{"key":"7_CR7","first-page":"30583","volume":"35","author":"S Garg","year":"2022","unstructured":"Garg, S., Tsipras, D., Liang, P.S., Valiant, G.: What can transformers learn in-context? A case study of simple function classes. Adv. Neural. Inf. Process. Syst. 35, 30583\u201330598 (2022)","journal-title":"Adv. Neural. Inf. Process. Syst."},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Gu, Z., Barr, E.T., Hamilton, D.J., Su, Z.: Has the bug really been fixed? In: Proceedings of the 32nd ACM\/IEEE International Conference on Software Engineering, vol. 1, pp. 55\u201364 (2010)","DOI":"10.1145\/1806799.1806812"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Huang, K., et al.: An empirical study on fine-tuning large language models of code for automated program repair. In: 2023 38th IEEE\/ACM International Conference on Automated Software Engineering (ASE), pp. 1162\u20131174. IEEE (2023)","DOI":"10.1109\/ASE56229.2023.00181"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Kulsum, U., Zhu, H., Xu, B., d\u2019Amorim, M.: A case study of LLM for automated vulnerability repair: assessing impact of reasoning and patch validation feedback. In: Proceedings of the 1st ACM International Conference on AI-Powered Software, pp. 103\u2013111 (2024)","DOI":"10.1145\/3664646.3664770"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Le, T.K., Alimadadi, S., Ko, S.Y.: A study of vulnerability repair in Javascript programs with large language models. In: Companion Proceedings of the ACM on Web Conference 2024, pp. 666\u2013669 (2024)","DOI":"10.1145\/3589335.3651463"},{"key":"7_CR12","unstructured":"Lelis, C.A.S.: Logisec of thoughts: data repository (2025). https:\/\/github.com\/ClaudioLelis\/LogiSec-of-Thoughts. Accessed 29 Aug 2025"},{"key":"7_CR13","unstructured":"Liu, F., AlDahoul, N., Eady, G., Zaki, Y., AlShebli, B., Rahwan, T.: Self-reflection outcome is sensitive to prompt construction. arXiv preprint arXiv:2406.10400 (2024)"},{"issue":"9","key":"7_CR14","first-page":"1","volume":"55","author":"P Liu","year":"2023","unstructured":"Liu, P., Yuan, W., Fu, J., Jiang, Z., Hayashi, H., Neubig, G.: Pre-train, prompt, and predict: a systematic survey of prompting methods in natural language processing. ACM Comput. Surv. 55(9), 1\u201335 (2023)","journal-title":"ACM Comput. Surv."},{"key":"7_CR15","unstructured":"Nong, Y., Aldeen, M., Cheng, L., Hu, H., Chen, F., Cai, H.: Chain-of-thought prompting of large language models for discovering and fixing software vulnerabilities. arXiv preprint arXiv:2402.17230 (2024)"},{"key":"7_CR16","unstructured":"OWASP Foundation: OWASP benchmark project: Benchmarkjava version 1.2 (2016). https:\/\/github.com\/OWASP-Benchmark\/BenchmarkJava. Accessed 13 Oct 2024"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Pearce, H., Tan, B., Ahmad, B., Karri, R., Dolan-Gavitt, B.: Examining zero-shot vulnerability repair with large language models. In: 2023 IEEE Symposium on Security and Privacy (SP), pp. 2339\u20132356. IEEE (2023)","DOI":"10.1109\/SP46215.2023.10179324"},{"issue":"8","key":"7_CR18","first-page":"9","volume":"1","author":"A Radford","year":"2019","unstructured":"Radford, A., et al.: Language models are unsupervised multitask learners. OpenAI Blog 1(8), 9 (2019)","journal-title":"OpenAI Blog"},{"key":"7_CR19","unstructured":"Vaswani, A.: Attention is all you need. In: Advances in Neural Information Processing Systems (2017)"},{"key":"7_CR20","unstructured":"Wei, J., et\u00a0al.: Emergent abilities of large language models. arXiv preprint arXiv:2206.07682 (2022)"},{"key":"7_CR21","first-page":"24824","volume":"35","author":"J Wei","year":"2022","unstructured":"Wei, J., et al.: Chain-of-thought prompting elicits reasoning in large language models. Adv. Neural. Inf. Process. Syst. 35, 24824\u201324837 (2022)","journal-title":"Adv. Neural. Inf. Process. Syst."},{"key":"7_CR22","doi-asserted-by":"crossref","unstructured":"Wu, Y., et al.: How effective are neural networks for fixing security vulnerabilities. In: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, pp. 1282\u20131294 (2023)","DOI":"10.1145\/3597926.3598135"},{"key":"7_CR23","unstructured":"Xu, H., et al.: Large language models for cyber security: a systematic literature review. arXiv preprint arXiv:2405.04760 (2024)"},{"issue":"6","key":"7_CR24","first-page":"1","volume":"18","author":"J Yang","year":"2024","unstructured":"Yang, J., et al.: Harnessing the power of LLMs in practice: a survey on chatgpt and beyond. ACM Trans. Knowl. Discov. Data 18(6), 1\u201332 (2024)","journal-title":"ACM Trans. Knowl. Discov. Data"},{"key":"7_CR25","doi-asserted-by":"crossref","unstructured":"Zhang, J., Bu, H., Wen, H., Chen, Y., Li, L., Zhu, H.: When LLMs meet cybersecurity: a systematic literature review. arXiv preprint arXiv:2405.03644 (2024)","DOI":"10.1186\/s42400-025-00361-w"},{"key":"7_CR26","doi-asserted-by":"crossref","unstructured":"Zhang, Q., Fang, C., Yu, B., Sun, W., Zhang, T., Chen, Z.: Pre-trained model-based automated software vulnerability repair: how far are we? IEEE Trans. Dependable Secure Comput. (2023)","DOI":"10.1109\/TDSC.2023.3308897"},{"key":"7_CR27","unstructured":"Zhang, Z., Zhang, A., Li, M., Smola, A.: Automatic chain of thought prompting in large language models. arXiv preprint arXiv:2210.03493 (2022)"},{"key":"7_CR28","unstructured":"Zhang, Z., et al.: A survey on language models for code. arXiv preprint arXiv:2311.07989 (2023)"},{"key":"7_CR29","unstructured":"Zhao, X., et al.: Enhancing zero-shot chain-of-thought reasoning in large language models through logic. arXiv preprint arXiv:2309.13339 (2023)"},{"key":"7_CR30","unstructured":"Zhao, X., et al.: Enhancing zero-shot chain-of-thought reasoning in large language models through logic. In: Proceedings of the 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation (LREC-COLING 2024), pp. 6144\u20136166 (2024)"}],"container-title":["Communications in Computer and Information Science","Dependable and Secure Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-11539-3_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,11]],"date-time":"2026-02-11T05:13:48Z","timestamp":1770786828000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-11539-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032115386","9783032115393"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-11539-3_7","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"value":"1865-0929","type":"print"},{"value":"1865-0937","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"12 February 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"LADC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Latin-American Symposium on Dependable Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Valpara\u00edso","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Chile","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 October 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31 October 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ladc2025a","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/ladc.sbc.org.br\/2025\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}