![]() | Livello precedente |
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