Daniele Bringhenti

Assegnista di Ricerca
Dipartimento di Automatica e Informatica (DAUIN)

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