Logo Politecnico di Torino
ENIT
WebThesis

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, Master of science program in Cybersecurity, 2025