ITEN
WebThesis Logo Politecnico di Torino

Formal Security Verification of a Standard Protocol for V2X Communications

Angelo Barbera

Formal Security Verification of a Standard Protocol for V2X Communications.

Rel. Riccardo Sisto, Simone Bussa, Fulvio Valenza. Politecnico di Torino, Corso di laurea magistrale in Cybersecurity, 2025