Gabriele Iannace
Correctness Validation and Scalability Analysis of Stateful Firewalls in the VEREFOO Framework.
Rel. Fulvio Valenza, Daniele Bringhenti, Riccardo Sisto. Politecnico di Torino, Master of science program in Computer Engineering, 2025
Gabriele Iannace
Correctness Validation and Scalability Analysis of Stateful Firewalls in the VEREFOO Framework.
Rel. Fulvio Valenza, Daniele Bringhenti, Riccardo Sisto. Politecnico di Torino, Master of science program in Computer Engineering, 2025