Loading Seminars

« All Seminars

  • This seminar has passed.

Formal and Automatic Network Security Configuration

24 May 2023 @ 3:00 pm - 4:00 pm

The next-generation networks introduced higher flexibility and dynamicity in networking systems, but at the same time, they led to new threats and challenges. The traditional approach of a manual configuration of Network Security Functions (NSFs) such as firewalls and VPN gateways is not feasible anymore since it is not adequate for the ever-changing nature of modern networks and it is prone to human errors. To overcome this problem, the native flexibility provided by virtualization could be exploited to automate network security management. However, achieving a high level of automation while providing formal assurance that security management operations (e.g., configuration and orchestration) fulfill some security properties is still a complex research challenge. This presentation describes some novel approaches that combine automation, formal verification, and optimization for network security management.

This is a joint seminar with FM-SEC.

Attendance via Zoom (ID: 933 8257 2879, Passcode: 546836)
Livestream via Youtube


24 May 2023
3:00 pm - 4:00 pm
Seminar Tags:
, ,


Fulvio Valenza (Politecnico di Torino)

Fulvio Valenza is a Tenure-Track Assistant Professor at the Turin Polytechnic, Italy. He is part of the Computer Networks Group (NetGroup). His main research interests are cybersecurity and network management, focusing on the analysis, verification, and refinement of Security and Access Control Policies. He has also been working on modeling and automatically configuring Network Security Functions (NSF) and security orchestration in virtualized networks. He served as Guest Editor for Elsevier Computer Network and IEEE Transactions on Network and Service Management, workshop co-chair SecSoft, and TPC member and reviewer in several international conferences and journals on computer and network security. He has also been involved in different EU and National projects.

View Presenter Website

Leave a Reply