Formal Techniques for Cyber Physical Systems

Corso di laurea magistrale

• Networks, cloud and application security (modulo di Computer networks and cloud technologies). A.A. 2023/24, CYBERSECURITY. Collaboratore del corso
• Networks & Cloud Technologies and Security (modulo di Computer networks and cloud technologies). A.A. 2024/25, CYBERSECURITY. Collaboratore del corso
• Computer network technologies and services. A.A. 2022/23, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
• Computer network technologies and services. A.A. 2023/24, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
• Reti Locali e Data Center. A.A. 2022/23, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
• Tecnologie e servizi di rete. A.A. 2022/23, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
• Tecnologie e servizi di rete. A.A. 2023/24, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
• Security verification and testing. A.A. 2024/25, CYBERSECURITY. Collaboratore del corso

• Bussa, Simone; Sisto, Riccardo; Valenza, Fulvio (2025)
  Formal verification of a V2X scheme mixing traditional PKI and group signatures. In: OPEN JOURNAL OF INFORMATION SECURITY AND APPLICATIONS, vol. 89. ISSN 2374-6262
  Contributo su Rivista
• Bringhenti, Daniele; Bussa, Simone; Sisto, Riccardo; Valenza, Fulvio (2025)
  Atomizing Firewall Policies for Anomaly Analysis and Resolution. In: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, vol. 22, pp. 2308-2325. ISSN 1545-5971
  Contributo su Rivista
• Bussa, Simone (2025)
  Formal Cybersecurity Techniques for Cyber-Physical Systems. relatore: SISTO, Riccardo; VALENZA, FULVIO; , 37. XXXVII Ciclo, P.: 148
  Doctoral Thesis
• Bringhenti, Daniele; Bussa, Simone; Sisto, Riccardo; Valenza, Fulvio (2024)
  A Two-Fold Traffic Flow Model for Network Security Management. In: IEEE TRANSACTIONS ON NETWORK AND SERVICE MANAGEMENT, vol. 21, pp. 3740-3758. ISSN 1932-4537
  Contributo su Rivista
• Schermann, Raphael; Bussa, Simone; Urian, Rainer; Toegl, Ronald; Steger, Christian (2024)
  PAKA: Pseudonymous Authenticated Key Agreement without bilinear cryptography. In: ARES 2024: The 19th International Conference on Availability, Reliability and Security, Vienna (AT), 30 July 2024- 2 August 2024, pp. 1-10. ISBN: 979-8-4007-1718-5
  Contributo in Atti di Convegno (Proceeding)
• Bussa, Simone; Sisto, Riccardo; Valenza, Fulvio (2023)
  Formal Verification of a V2X Privacy Preserving Scheme Using Proverif. In: 2023 IEEE International Conference on Cyber Security and Resilience (CSR), Venice (IT), 31 July 2023 - 02 August 2023, pp. 341-346. ISBN: 979-8-3503-1170-9
  Contributo in Atti di Convegno (Proceeding)
• Bussa, Simone; Sisto, Riccardo; Valenza, Fulvio (2023)
  Formal verification of the FDO protocol. In: IEEE International Conference on Standards for Communications and Networking (CSCN 2023), Munich (DEU), 06-08 November 2023, pp. 290-295. ISBN: 979-8-3503-9538-9
  Contributo in Atti di Convegno (Proceeding)
• Schermann, Raphael; Bussa, Simone; Urian, Rainer; Steger, Christian (2023)
  Zero touch privacy preserving provisioning in an Edge-, Fog, and Cloud environment. In: IEEE International Conference on Fog and Mobile Edge Computing (FMEC 2023), Tartu (Estonia), 18-20 September 2023, pp. 276-283. ISBN: 979-8-3503-1697-1
  Contributo in Atti di Convegno (Proceeding)
• Bussa, Simone; Sisto, Riccardo; Valenza, Fulvio (2022)
  Security Automation using Traffic Flow Modeling. In: IEEE 8th International Conference on Network Softwarization (NetSoft 2022 ), Milano, pp. 486-491. ISBN: 978-1-6654-0694-9
  Contributo in Atti di Convegno (Proceeding)