29 July 2022

• Andreina Erika Ricci. Formal verification of Remote Attestation protocols in a Fog Computing Architecture. Rel. Riccardo Sisto, Fulvio Valenza, Simone Bussa. Politecnico di Torino, Master of science program in Computer Engineering, 2022
  

  

  Preview
• Alessandro Di Lorenzo. Formal verification of security properties for remote attestation protocols. Rel. Riccardo Sisto, Fulvio Valenza, Simone Bussa. Politecnico di Torino, Master of science program in Computer Engineering, 2022
  

  

  Preview

28 July 2023

• Francesco Rametta. Formal verification of a V2X Security Credential Management System. Rel. Riccardo Sisto, Fulvio Valenza, Simone Bussa. Politecnico di Torino, Master of science program in Computer Engineering, 2023
  

  

  Preview

11 April 2024

• Francesco Galazzo. Formal verification of a cryptographic protocol in Cooperative Intelligent Transport Systems communications. Rel. Riccardo Sisto, Simone Bussa, Fulvio Valenza. Politecnico di Torino, Master of science program in Computer Engineering, 2024
  

  

  Preview

31 October 2024

• Rebecca Falco. OCPP Protocol in the Smart Charging Era: Formal Verification of Security-Related Use Cases through ProVerif Analysis. Rel. Riccardo Sisto, Simone Bussa. Politecnico di Torino, Master of science program in Computer Engineering, 2024
  

  

  Preview

24 October 2025

• Angelo Barbera. Formal Security Verification of a Standard Protocol for V2X Communications. Rel. Riccardo Sisto, Simone Bussa, Fulvio Valenza. Politecnico di Torino, Master of science program in Cybersecurity, 2025
  

  

  Preview