Carmelo Bertolami
Towards an autonomous CTF solver A neuro-symbolic multi-agent approach.
Rel. Cataldo Basile, Chiara Bonfanti, Davide Colaiacomo. Politecnico di Torino, Corso di laurea magistrale in Cybersecurity, 2026
|
Preview |
PDF (Tesi_di_laurea)
- Tesi
Licenza: Creative Commons Attribution Non-commercial No Derivatives. Download (651kB) | Preview |
Abstract
Capture the Flag (CTF) challenges are a well-established benchmark for evaluating automated cybersecurity systems. With the introduction of powerful tools such as Large Language Models (LLMs), interest in solving these challenges automatically is rapidly growing. These models present both architectural strengths and systematic limitations that hinder their practical applicability. This work proposes and evaluates a neuro-symbolic multi-agent architecture for automatically resolving cryptographic CTF challenges. The architecture is organised into three layers: a Coordinator agent that manages the entire flow from challenge analysis to attack hypothesis; a Belief-Desire-Intention (BDI) agent that structures the reasoning, generation, validation, execution, and debugging cycle; and an embodied Explorer agent that perceives and acts within an isolated Docker sandbox.
The choice of which attack to attempt is driven by two knowledge sources fused into a single ranked list of hypotheses: a CLIPS (C Language Integrated Production System) expert system that encodes cryptographic attack rules, and a Retrieval-Augmented Generation (RAG) module, reused from a previous thesis, that retrieves relevant techniques from a corpus of CTF write-ups
Relatori
Anno Accademico
Tipo di pubblicazione
Numero di pagine
Corso di laurea
Classe di laurea
URI
![]() |
Modifica (riservato agli operatori) |
