Ph.D. in Ingegneria Informatica E Dei Sistemi , 29th cycle (2014-2016)
Ph.D. obtained in 2017
Dissertation:
Modelling and Analysis of Network Security Policies
Tutors:
Antonio LioyProfile
Research interests
Scientific branch
(Area 0009 - Industrial and information engineering)
Teaching
Collegi of the degree programmes
Teachings
Bachelor of Science
- Informatica. A.A. 2014/15, INGEGNERIA AEROSPAZIALE. Collaboratore del corso
- Informatica. A.A. 2015/16, INGEGNERIA AEROSPAZIALE. Collaboratore del corso
- Informatica. A.A. 2016/17, INGEGNERIA AEROSPAZIALE. Collaboratore del corso
Research
Research groups
Research projects
Projects funded by commercial contracts
- Organizzazione e realizzazione di uno degli incontri dei seminari “ESCAPE” nell’ambito cybersecurity , (2024-2024) - Responsabile Scientifico
Sponsorship
Supervised PhD students
- Francesco Pizzato. Programme in Ingegneria Informatica E Dei Sistemi (cycle 39, 2023-in progress)
- Simone Bussa. Programme in Ingegneria Informatica E Dei Sistemi (cycle 37, 2021-in progress)
Publications
Last years publications
Publications by type
Works published during the Ph.D. View all publications in Porto@Iris
- Valenza, Fulvio; Su, Tao; Spinoso, Serena; Lioy, Antonio; Sisto, Riccardo; Vallini, Marco (2017)
A formal approach for network security policy validation. In: JOURNAL OF WIRELESS MOBILE NETWORKS, UBIQUITOUS COMPUTING AND DEPENDABLE APPLICATIONS, vol. 8, pp. 79-100. ISSN 2093-5374
Contributo su Rivista - Valenza, Fulvio; Basile, Cataldo; Canavese, Daniele; Lioy, Antonio (2017)
Classification and analysis of communication protection policy anomalies. In: IEEE-ACM TRANSACTIONS ON NETWORKING, vol. 25, pp. 2601-2614. ISSN 1063-6692
Contributo su Rivista - Durante, Luca; Lucia, Seno; Valenza, Fulvio; Valenzano, Adriano (2017)
A Model for the Analysis of Security Policies in Service Function Chains. In: Second IEEE International Workshop on Security in NFV-SDN (SNS2017), BOLOGNA (IT)
Contributo in Atti di Convegno (Proceeding) - Basile, Cataldo; Canavese, Daniele; Pitscheider, Christian; Lioy, Antonio; Valenza, ... (2017)
Assessing network authorization policies via reachability analysis. In: COMPUTERS & ELECTRICAL ENGINEERING, vol. 64, pp. 110-131. ISSN 0045-7906
Contributo su Rivista - Cheminod, Manuel; Durante, Luca; Seno, Lucia; Valenza, Fulvio; Valenzano, Adriano; ... (2017)
Leveraging SDN To Improve Security in Industrial Networks. In: 13th IEEE International Workshop on Factory Communication Systems, Trondheim (NO), May 31 - June 2. ISBN: 978-150905788-7
Contributo in Atti di Convegno (Proceeding) - Cheminod, Manuel; Durante, Luca; Seno, Lucia; Valenza, Fulvio; Valenzano, Adriano (2017)
Automated Fixing of Access Policy Implementation in Industrial Networked Systems. In: 13th IEEE International Workshop on Factory Communication Systems, Trondheim (NO), May 31 - June 2
Contributo in Atti di Convegno (Proceeding) - Valenza, Fulvio (2017)
Modelling and Analysis of Network Security Policies. relatore: Lioy A. , Basile C., 29. XXIX Ciclo, P.: 173
Doctoral Thesis - Valenza, Fulvio; Vallini, Marco; Lioy, Antonio (2016)
Online and offline security policy assessment. In: MIST’16: 8th ACM CCS international workshop on Managing Insider Security Threats, Vienna (Austria), October 28, 2016, pp. 101-104
Contributo in Atti di Convegno (Proceeding) - Basile, Cataldo; Canavese, Daniele; Lioy, Antonio; Pitscheider, Christian; Valenza, ... (2016)
Inter-function anomaly analysis for correct SDN/NFV deployment. In: INTERNATIONAL JOURNAL OF NETWORK MANAGEMENT, vol. 26, pp. 25-43. ISSN 1055-7148
Contributo su Rivista - Valenza, Fulvio; Spinoso, Serena; Basile, Cataldo; Sisto, Riccardo; Lioy, Antonio (2015)
A Formal Model of Network Policy Analysis. In: RTSI 2015 - First International Forum on Research and Technologies for Society and Industry, Torino, Italy, 16-18 September 2015, pp. 516-522. ISBN: 978-1-4673-8166-6
Contributo in Atti di Convegno (Proceeding) - Basile, Cataldo; Pitscheider, Christian; Risso, FULVIO GIOVANNI OTTAVIO; Valenza, ... (2015)
Towards the Dynamic Provision of Virtualized Security Services. In: Cyber Security and Privacy / Cleary F., Felici M., S.L., Springer International Publishing, pp. 65-76. ISBN: 978-3-319-25359-6
Contributo in Volume - Basile, Cataldo; Canavese, Daniele; D’Annoville, Jerome; De Sutter, Bjorn; Valenza, ... (2015)
Automatic discovery of software attacks via backward reasoning. In: ICSE International Workshop on Software Protection (SPRO 2015), Firenze, 19 Maggio 2015
Contributo in Atti di Convegno (Proceeding) - Valenza, Fulvio; Basile, Cataldo; Canavese, Daniele; Lioy, Antonio (2015)
Inter-technology conflict analysis for communication protection policies. In: CRiSIS-2014: 9th International Conference on Risks and Security of Internet and Systems, Trento (Italy), 27-29 August 2014, pp. 148-163. ISBN: 9783319171265
Contributo in Atti di Convegno (Proceeding) - Basile, Cataldo; Lioy, Antonio; Pitscheider, Christian; Valenza, Fulvio; Vallini, Marco (2015)
A novel approach for integrating security policy enforcement with dynamic network virtualization. In: 1st IEEE Conference on Network Softwarization (NetSoft-2015), London (UK), 13-17 April 2015. ISBN: 978-1-4799-7899-1
Contributo in Atti di Convegno (Proceeding)
Society and Enterprise
Patents and other intellectual properties
- PROTECTION OF IN-VEHICLE SERVICES WITH A SECURITY-EXTENDED SOME/IP PROTOCOL. national and international Patent
Inventors: Fulvio Giovanni Ottavio Risso Riccardo Sisto Fulvio Valenza