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

• NETGROUP - Computer Networks Group

• 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)