Un solver di ottimizzazione è un software che cerca la soluzione migliore per un problema definito da obiettivi e vincoli. Prende un modello, ad esempio costi, tempi, copertura o limiti di rischio, e calcola una decisione che rispetti tali regole nel modo migliore possibile. Tra gli esempi comuni ci sono la pianificazione, il routing, l'allocazione e la pianificazione di portafogli.
Nel campo della sicurezza informatica, i solver di ottimizzazione sono importanti perché possono influenzare sia la difesa sia l'attacco. I difensori li usano per posizionare sensori, assegnare personale limitato, regolare i controlli e stabilire le priorità delle correzioni quando le risorse scarseggiano. Anche gli attaccanti possono usare strumenti simili per massimizzare l'impatto, ad esempio selezionando gli obiettivi, sincronizzando le campagne o scegliendo i percorsi del payload in base a vincoli operativi. Poiché l'output del solver dipende dagli input e dal modello, l'integrità è fondamentale: un vincolo modificato, dati avvelenati o una configurazione non autorizzata possono produrre decisioni non sicure anche quando il software in sé non è compromesso.