Improved Reachability Analysis for Security Management. - Cataldo Basile; Daniele Canavese; Antonio Lioy; Christian Pitscheider (PDP, 2013)

Towards the Dynamic Provision of Virtualized Security Services. - Cataldo Basile; Christian Pitscheider; Fulvio Risso; Fulvio Valenza; Marco Vallini (CSP Forum, 2015)

A novel approach for integrating security policy enforcement with dynamic network virtualization. - Cataldo Basile; Antonio Lioy; Christian Pitscheider; Fulvio Valenza; Marco Vallini (NetSoft, 2015)

A Formal Model of Policy Reconciliation. - Cataldo Basile; Antonio Lioy; Christian Pitscheider; Shilong Zhao (PDP, 2015)

Inter-function anomaly analysis for correct SDN/NFV deployment. - Cataldo Basile; Daniele Canavese; Antonio Lioy; Christian Pitscheider; Fulvio Valenza (Int. J. Netw. Manag., 2016)

Distributed Security Policy Analysis. - Christian Pitscheider (2016)

Assessing network authorization policies via reachability analysis. - Cataldo Basile; Daniele Canavese; Christian Pitscheider; Antonio Lioy; Fulvio Valenza (Comput. Electr. Eng., 2017)