
Research Assistant
Department of Control and Computer Engineering (DAUIN)
Docente esterno e/o collaboratore didattico
Department of Control and Computer Engineering (DAUIN)
Docente esterno e/o collaboratore didattico
Graduate School (SCDOTT)
Teaching
Teachings
PhD
- Formal verification of concurrent and distributed software and systems. A.A. 2022/23, INGEGNERIA INFORMATICA E DEI SISTEMI. Teaching assistant
Master of Science
- 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
Research
Research groups
Publications
Latest publications View all publications in Porto@Iris
- Bringhenti, Daniele; Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio (In stampa)
Automation for network security configuration: state of the art and research trends. In: ACM COMPUTING SURVEYS. ISSN 0360-0300
Contributo su Rivista - Bringhenti, Daniele; Sisto, Riccardo; Valenza, Fulvio (2023)
Security automation for multi-cluster orchestration in Kubernetes. In: 2023 IEEE 9th Conference on Network Softwarization (NetSoft 2023), Madrid (ES), 19-23 June 2023, pp. 480-485. ISBN: 979-8-3503-9980-6
Contributo in Atti di Convegno (Proceeding) - Bringhenti, Daniele; Sisto, Riccardo; Valenza, Fulvio (2023)
Towards Security Automation in Virtual Networks. In: 2023 IEEE 9th Conference on Network Softwarization (NetSoft 2023), Madrid (ES), 19-23 June 2023, pp. 326-331. ISBN: 979-8-3503-9980-6
Contributo in Atti di Convegno (Proceeding) - Bringhenti, Daniele; Sisto, Riccardo; Valenza, Fulvio (2023)
A demonstration of VEREFOO: an automated framework for virtual firewall configuration. In: 2023 IEEE 9th Conference on Network Softwarization (NetSoft 2023), Madrid (ES), 19-23 June 2023, pp. 293-295. ISBN: 979-8-3503-9980-6
Contributo in Atti di Convegno (Proceeding) - Bringhenti, Daniele; Sisto, Riccardo; Valenza, Fulvio (2023)
Automating the configuration of firewalls and channel protection systems in virtual networks. In: 2023 IEEE 9th Conference on Network Softwarization (NetSoft 2023), Madrid (ES), 19-23 June 2023, pp. 474-479. ISBN: 979-8-3503-9980-6
Contributo in Atti di Convegno (Proceeding)