Logo Politecnico di Torino
ITEN
WebThesis

Correctness Validation and Scalability Analysis of Stateful Firewalls in the VEREFOO Framework

Gabriele Iannace

Correctness Validation and Scalability Analysis of Stateful Firewalls in the VEREFOO Framework.

Rel. Fulvio Valenza, Daniele Bringhenti, Riccardo Sisto. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Informatica (Computer Engineering), 2025