Master of Science

• 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 (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
• Bringhenti, Daniele; Yusupov, Jalolliddin; Zarca, Alejandro Molina; Valenza, Fulvio; ... (2022)
  Automatic, verifiable and optimized policy-based security enforcement for SDN-aware IoT networks. In: COMPUTER NETWORKS, vol. 213, pp. 109-123. ISSN 1389-1286
  Contributo su Rivista