Dottorato in Ingegneria Informatica E Dei Sistemi , 29o ciclo (2014-2016)
Dottorato concluso nel 2017
Tesi:
Modelling and Analysis of Network Security Policies
Tutori:
Antonio LioyProfilo
Interessi di ricerca
Settore scientifico discliplinare
(Area 0009 - Ingegneria industriale e dell'informazione)
Didattica
Collegi dei Corsi di Studio
Insegnamenti
Corso di laurea di 1° livello
- 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
Ricerca
Gruppi di ricerca
Progetti di ricerca
Progetti finanziati da bandi competitivi
- 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
Ricerca UE - HE - Global Challenges - Civil Security for Society
Progetti finanziati da contratti commerciali
- Organizzazione e realizzazione di uno degli incontri dei seminari “ESCAPE” nell’ambito cybersecurity , (2024-2024) - Responsabile Scientifico
Sponsorizzazioni commerciale - Organizzazione e realizzazione di uno degli incontri dei seminari “ESCAPE” nell’ambito cybersecurity , (2024-2024) - Responsabile Scientifico
Sponsorizzazioni commerciale - Organizzazione e realizzazione di uno degli incontri dei seminari “ESCAPE” nell’ambito cybersecurity , (2024-2024) - Responsabile Scientifico
Sponsorizzazioni commerciale
Dottorandi
- Gianmarco Bachiorrini. Corso in Ingegneria Informatica E Dei Sistemi (ciclo 40, 2024-in corso)
Cybersecurity Cybersecurity - Rosario Rizza. Corso in Ingegneria Informatica E Dei Sistemi (ciclo 40, 2024-in corso)
- Francesco Pizzato. Corso in Ingegneria Informatica E Dei Sistemi (ciclo 39, 2023-in corso)
Argomento della ricerca: Automazione ed ottimizzazione della sicurezza in ambienti cloud
Cybersecurity Parallel and distributed systems, Quantum computing Cybersecurity Parallel and distributed systems, Quantum computing - Simone Bussa. Corso in Ingegneria Informatica E Dei Sistemi (ciclo 37, 2021-in corso)
Tesi: Formal Cybersecurity Techniques for Cyber-Physical Systems
Computer architectures and Computer aided design Cybersecurity Computer architectures and Computer aided design Cybersecurity
Pubblicazioni
Pubblicazioni degli ultimi anni
Pubblicazioni per tipo
Pubblicazioni durante il dottorato Vedi tutte le pubblicazioni su Porto@Iris
- 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) - 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 - 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 - 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 - 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; 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) - 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; 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; 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)
Società e imprese
Brevetti e altre proprietà intellettuali
- PROTECTION OF IN-VEHICLE SERVICES WITH A SECURITY-EXTENDED SOME/IP PROTOCOL. Brevetto nazionale e internazionale
Inventori: Fulvio Giovanni Ottavio Risso Riccardo Sisto Fulvio Valenza