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
- 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
Publications
Latest publications View all publications in Porto@Iris
- 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