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. 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 competitive calls
- MIRANDA - Monitoring, Investigation and Response to cyber-attacks with an Adaptive digital twiN moDel for Agile services over the computing continuum , (2024-2027) - Componente gruppo di Ricerca
UE-funded research - HE - Global Challenges - Civil Security for Society
Projects funded by commercial contracts
- Organizzazione e realizzazione di uno degli incontri dei seminari “ESCAPE” nell’ambito cybersecurity , (2024-2024) - Responsabile Scientifico
Sponsorship - Organizzazione e realizzazione di uno degli incontri dei seminari “ESCAPE” nell’ambito cybersecurity , (2024-2024) - Responsabile Scientifico
Sponsorship - Organizzazione e realizzazione di uno degli incontri dei seminari “ESCAPE” nell’ambito cybersecurity , (2024-2024) - Responsabile Scientifico
Sponsorship
Supervised PhD students
- Gianmarco Bachiorrini. Programme in Ingegneria Informatica E Dei Sistemi (cycle 40, 2024-in progress)
Research subject: Adaptive, Agile and Automated Cybersecurity Management
Cybersecurity Cybersecurity - Rosario Rizza. Programme in Ingegneria Informatica E Dei Sistemi (cycle 40, 2024-in progress)
- Francesco Pizzato. Programme in Ingegneria Informatica E Dei Sistemi (cycle 39, 2023-in progress)
Research subject: Security automation and optimization in cloud environments
Cybersecurity Parallel and distributed systems, Quantum computing Cybersecurity Parallel and distributed systems, Quantum computing - Simone Bussa. Programme in Ingegneria Informatica E Dei Sistemi (cycle 37, 2021-2025)
Thesis: Formal Cybersecurity Techniques for Cyber-Physical Systems
Computer architectures and Computer aided design Cybersecurity Computer architectures and Computer aided design Cybersecurity
Publications
Last years publications
Publications by type
Works published during the Ph.D. View all publications in Porto@Iris
- 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) - Valenza, Fulvio (2017)
Modelling and Analysis of Network Security Policies. relatore: Lioy A. , Basile C., 29. XXIX Ciclo, P.: 173
Doctoral Thesis - 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) - 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 - 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 - 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 - 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) - 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 - 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 - 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) - 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; 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) - 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