Fulvio Valenza

Comput. Networks, June, 2023

A Hybrid Threat Model for Smart Systems.

[BibT_eX]

[DOI]

Erisa Karafili

Rodrigo Vieira Steiner

Emil C. Lupu

IEEE Trans. Dependable Secur. Comput., 2023

Automated Firewall Configuration in Virtual Networks.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2023

An Optimized Approach for Assisted Firewall Anomaly Resolution.

[BibT_eX]

[DOI]

Lucia Seno

IEEE Access, 2023

Security automation for multi-cluster orchestration in Kubernetes.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE International Conference on Network Softwarization, 2023

Automating the configuration of firewalls and channel protection systems in virtual networks.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE International Conference on Network Softwarization, 2023

Towards Security Automation in Virtual Networks.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE International Conference on Network Softwarization, 2023

A demonstration of VEREFOO: an automated framework for virtual firewall configuration.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE International Conference on Network Softwarization, 2023

Formal Verification of a V2X Privacy Preserving Scheme Using Proverif.

[BibT_eX]

[DOI]

Simone Bussa

Proceedings of the IEEE International Conference on Cyber Security and Resilience, 2023

Formal Verification of the FDO Protocol.

[BibT_eX]

[DOI]

Simone Bussa

Proceedings of the IEEE Conference on Standards for Communications and Networking, 2023

Introduction to Formal Methods for the Analysis and Design of Cryptographic Protocols.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Formal Analysis and Verification in Cryptography, 2023

2022

Guest Editors Introduction: Special Section on Recent Advances in Network Security Management.

[BibT_eX]

[DOI]

IEEE Trans. Netw. Serv. Manag., 2022

Toward Cybersecurity Personalization in Smart Homes.

[BibT_eX]

[DOI]

IEEE Secur. Priv., 2022

Automatic, verifiable and optimized policy-based security enforcement for SDN-aware IoT networks.

[BibT_eX]

[DOI]

Jalolliddin Yusupov

Alejandro Molina Zarca

Comput. Networks, 2022

Optimizing distributed firewall reconfiguration transients.

[BibT_eX]

[DOI]

Comput. Networks, 2022

A Twofold Model for VNF Embedding and Time-Sensitive Network Flow Scheduling.

[BibT_eX]

[DOI]

IEEE Access, 2022

Security Automation using Traffic Flow Modeling.

[BibT_eX]

[DOI]

Simone Bussa

Proceedings of the 8th IEEE International Conference on Network Softwarization, 2022

Next Generation of Hybrid Threats.

[BibT_eX]

[DOI]

Proceedings of the EICC 2022: European Interdisciplinary Cybersecurity Conference, Barcelona, Spain, June 15, 2022

2021

Improving the Formal Verification of Reachability Policies in Virtualized Networks.

[BibT_eX]

[DOI]

IEEE Trans. Netw. Serv. Manag., 2021

A Formal Approach to Verify Connectivity and Optimize VNF Placement in Industrial Networks.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, 2021

Guest editorial: Special issue on novel cyber-security paradigms for software-defined and virtualized systems.

[BibT_eX]

[DOI]

Matteo Repetto

Stavros Shiaeles

Comput. Networks, 2021

A novel approach for security function graph configuration and deployment.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE International Conference on Network Softwarization, 2021

2020

Protecting In-Vehicle Services: Security-Enabled SOME/IP Middleware.

[BibT_eX]

[DOI]

IEEE Veh. Technol. Mag., 2020

Securing SOME/IP for In-Vehicle Service Protection.

[BibT_eX]

[DOI]

IEEE Trans. Veh. Technol., 2020

An Optimized Firewall Anomaly Resolution.

[BibT_eX]

[DOI]

Manuel Cheminod

J. Internet Serv. Inf. Secur., 2020

Work-in-Progress: A Formal Approach to Verify Fault Tolerance in Industrial Network Systems.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Conference on Factory Communication Systems, 2020

Towards a Framework for Automatic Firewalls Configuration via Argumentation Reasoning.

[BibT_eX]

[DOI]

Proceedings of the NOMS 2020, 2020

Automated optimal firewall orchestration and configuration in virtualized networks.

[BibT_eX]

[DOI]

Proceedings of the NOMS 2020, 2020

Introducing programmability and automation in the synthesis of virtual firewall rules.

[BibT_eX]

[DOI]

Proceedings of the 6th IEEE Conference on Network Softwarization, 2020

Automatic Firewalls' Configuration Using Argumentation Reasoning.

[BibT_eX]

[DOI]

Erisa Karafili

Proceedings of the Emerging Technologies for Authorization and Authentication, 2020

Short Paper: Automatic Configuration for an Optimal Channel Protection in Virtualized Networks.

[BibT_eX]

[DOI]

Proceedings of the CYSARM@CCS '20: Proceedings of the 2nd Workshop on Cyber-Security Arms Race, 2020

2019

Adding Support for Automatic Enforcement of Security Policies in NFV Networks.

[BibT_eX]

[DOI]

Antonio Pastor Perales

IEEE/ACM Trans. Netw., 2019

Towards an Efficient Management and Orchestration Framework for Virtual Network Security Functions.

[BibT_eX]

[DOI]

Ignazio Pedone

Secur. Commun. Networks, 2019

Formally specifying and checking policies and anomalies in service function chaining.

[BibT_eX]

[DOI]

Serena Spinoso

J. Netw. Comput. Appl., 2019

A comprehensive approach to the automatic refinement and verification of access control policies.

[BibT_eX]

[DOI]

Comput. Secur., 2019

A Framework for Verification-Oriented User-Friendly Network Function Modeling.

[BibT_eX]

[DOI]

IEEE Access, 2019

Automated Security Management for Virtual Services.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Network Function Virtualization and Software Defined Networks, 2019

Towards a fully automated and optimized network security functions orchestration.

[BibT_eX]

[DOI]

Proceedings of the 2019 4th International Conference on Computing, 2019

2018

On the impossibility of effectively using likely-invariants for software attestation purposes.

[BibT_eX]

[DOI]

J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2018

User-oriented Network Security Policy Specification.

[BibT_eX]

[DOI]

J. Internet Serv. Inf. Secur., 2018

Toward attribute-based access control policy in industrial networked systems.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Workshop on Factory Communication Systems, 2018

2017

Modelling and Analysis of Network Security Policies.

[BibT_eX]

[DOI]

PhD thesis, 2017

Classification and Analysis of Communication Protection Policy Anomalies.

[BibT_eX]

[DOI]

IEEE/ACM Trans. Netw., 2017

A formal approach for network security policy validation.

[BibT_eX]

[DOI]

J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2017

Assessing network authorization policies via reachability analysis.

[BibT_eX]

[DOI]

Daniele Canavese

Comput. Electr. Eng., 2017

Leveraging SDN to improve security in industrial networks.

[BibT_eX]

[DOI]

Proceedings of the IEEE 13th International Workshop on Factory Communication Systems, 2017

Automated fixing of access policy implementation in Industrial Networked Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE 13th International Workshop on Factory Communication Systems, 2017

A model for the analysis of security policies in service function chains.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE Conference on Network Softwarization, 2017

2016

Inter-function anomaly analysis for correct SDN/NFV deployment.

[BibT_eX]

[DOI]

Daniele Canavese

Int. J. Netw. Manag., 2016

Online and Offline Security Policy Assessment.

[BibT_eX]

[DOI]

Marco Vallini

Proceedings of the 8th ACM CCS International Workshop on Managing Insider Security Threats, 2016

2015

A formal model of network policy analysis.

[BibT_eX]

[DOI]

Proceedings of the 1st IEEE International Forum on Research and Technologies for Society and Industry Leveraging a better tomorrow, 2015

A novel approach for integrating security policy enforcement with dynamic network virtualization.

[BibT_eX]

[DOI]

Marco Vallini

Proceedings of the 1st IEEE Conference on Network Softwarization, 2015

Automatic Discovery of Software Attacks via Backward Reasoning.

[BibT_eX]

[DOI]

Proceedings of the 1st IEEE/ACM International Workshop on Software Protection, 2015

Towards the Dynamic Provision of Virtualized Security Services.

[BibT_eX]

[DOI]

Fulvio Risso