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

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

• Bringhenti, Daniele; Sisto, Riccardo; Valenza, Fulvio; Yusupov, Jalolliddin (In stampa)
  Introduction to Formal Methods for the Analysis and Design of Cryptographic Protocols. In: Handbook of Formal Analysis and Verification in Cryptography / S.N., S.L., CRC Press. ISBN: 978-0-367-54665-6
  Contributo in Volume
• 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 (2022)
  Network Security Automation. relatore: SISTO, Riccardo; , 35. XXXV Ciclo, P.: 222
  Doctoral Thesis
• Bringhenti, Daniele; Valenza, Fulvio (2022)
  Optimizing distributed firewall reconfiguration transients. In: COMPUTER NETWORKS, vol. 215. ISSN 1389-1286
  Contributo su Rivista
• Bringhenti, Daniele; Valenza, Fulvio; Basile, Cataldo (2022)
  Toward Cybersecurity Personalization in Smart Homes. In: IEEE SECURITY & PRIVACY, vol. 20, pp. 45-53. ISSN 1540-7993
  Contributo su Rivista