Séminaire SoSySec : The VEREFOO Network Security Automation Approach

Date de début
Date de fin
IRISA Rennes
Salle Aurigny
Prof. Riccardo Sisto (Politecnico di Torino)

The VEREFOO Network Security Automation Approach

Network softwarization and virtualization are making networks more and more dynamic, opening the possibility of extremely fast reconfigurations and of enhanced automation in their management.
This enhanced dynamism is a great opportunity, for example for prompt reaction to security attacks or to changing demands from users, but at the same time it introduces new challenges, such as how to guarantee that security policies are always correctly implemented and that resources are used efficiently in such rapidly changing systems.
VEREFOO (VErified REfinement and Optimized Orchestration) is an approach for policy-based network security automation in virtualized networks, developed at the Turin Polytechnic by the NetGroup (Computer Networks Group). VEREFOO enables automatic refinement of security policies into network configurations, providing at the same time formally verified and optimized solutions.
The talk presents VEREFOO, by explaining how it works, by illustrating its state of the art, i.e., all the major results already achieved, and by discussing the VEREFOO ongoing research activities.

To follow the presentation remotely, please connect to the following
URL with a modern web browser:
- URL: https://bbb.inria.fr/all-t0p-qjq-9em
Access code: 192737
- Alternative audio access by phone will be possible but the
parameters will figure in the web session only a few minutes before
the presentation.


Seminar taking place in person with mandatory registration at least
72h beforehand for *all* in-person participants by email to
Nadia Derouault <nadia [*] derouaultatinria [*] fr>. Participants
non-affiliated with Inria or IRISA will be asked to present an ID at
the reception desk of the IRISA building.

To receive the SoSySec announcements, please subscribe to the SoSySec
mailing list:
All past and future SoSySec talks are listed at

Séminaire en présentiel ouvert à tous mais avec inscription
obligatoire au moins 72h à l'avance pour *tous* les participants
en présentiel auprès de Nadia Derouault <nadia [*] derouaultatinria [*] fr>.
Les participants externes devront se présenter à l'accueil avec une
pièce d'identité.

Vous pouvez vous abonner à nos annonces de séminaires :
et consulter la liste des exposés passés et à venir :