Assegnista di Ricerca
Dipartimento di Automatica e Informatica (DAUIN)
Docente esterno e/o collaboratore didattico
Dipartimento di Automatica e Informatica (DAUIN)
Docente esterno e/o collaboratore didattico
Scuola di Dottorato (SCDOTT)
Profilo
Interessi di ricerca
Settore scientifico discliplinare
(Area 0009 - Ingegneria industriale e dell'informazione)
Competenze
Settori ERC
Premi e riconoscimenti
- ICICS Best Demo Award conferito da International Conference on Information and Communications Security (ICICS) (2022)
Altri incarichi di ricerca o didattica esterni
- Attivita' di insegnamento (art. 23 L. 240/10), presso Università degli Studi del PIEMONTE ORIENTALE "Amedeo Avogadro"-Vercelli (10/10/2023-30/9/2024)
- Attivita' di insegnamento (art. 23 L. 240/10), presso Università degli Studi del PIEMONTE ORIENTALE "Amedeo Avogadro"-Vercelli (26/9/2022-30/9/2023)
- Attivita' di insegnamento (art. 23 L. 240/10), presso Università degli Studi del PIEMONTE ORIENTALE "Amedeo Avogadro"-Vercelli (27/9/2021-30/9/2022)
Didattica
Insegnamenti
Dottorato di ricerca
- Formal verification of concurrent and distributed software and systems. A.A. 2022/23, INGEGNERIA INFORMATICA E DEI SISTEMI. Collaboratore del corso
Corso di laurea magistrale
- Networks, cloud and application security (modulo di Networks, cloud, and application security). A.A. 2023/24, CYBERSECURITY. Collaboratore del corso
- Computer network technologies and services. A.A. 2020/21, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
- Computer network technologies and services. A.A. 2021/22, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
- Computer network technologies and services. A.A. 2023/24, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
- Distributed systems programming. A.A. 2020/21, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
- Distributed systems programming. A.A. 2021/22, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
- Distributed systems programming. A.A. 2022/23, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
- Distributed systems programming. A.A. 2023/24, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
- Security verification and testing. A.A. 2020/21, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
- Tecnologie e servizi di rete. A.A. 2021/22, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
Ricerca
Gruppi di ricerca
Pubblicazioni
Pubblicazioni per tipo
Pubblicazioni degli ultimi anni
Pubblicazioni scelte Vedi tutte le pubblicazioni su Porto@Iris
- Bringhenti, Daniele; Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio; Yusupov, ... (2023)
Automated firewall configuration in virtual networks. In: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, vol. 20, pp. 1559-1576. ISSN 1545-5971
Contributo su Rivista - Bringhenti, Daniele; Marchetto, Guido; Sisto, Riccardo; Spinoso, Serena; Valenza, ... (2021)
Improving the formal verification of reachability policies in virtualized networks. In: IEEE TRANSACTIONS ON NETWORK AND SERVICE MANAGEMENT, vol. 18, pp. 713-728. ISSN 1932-4537
Contributo su Rivista - Bringhenti, Daniele; Sisto, Riccardo; Valenza, Fulvio (2023)
A novel abstraction for security configuration in virtual networks. In: COMPUTER NETWORKS, vol. 228, pp. 1-13. ISSN 1389-1286
Contributo su Rivista - Bringhenti, Daniele; Valenza, Fulvio (2022)
Optimizing distributed firewall reconfiguration transients. In: COMPUTER NETWORKS, vol. 215. ISSN 1389-1286
Contributo su Rivista - Bringhenti, Daniele; Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio (2024)
Automation for network security configuration: state of the art and research trends. In: ACM COMPUTING SURVEYS, vol. 56, pp. 1-37. ISSN 0360-0300
Contributo su Rivista