polito.it

Login

Webthesis
Libraries

Thesis by Rametta, Francesco

Group by: Item Type | No Grouping

Jump to: Thesis

Number of items: 1.

Thesis

Francesco Rametta. Formal verification of a V2X Security Credential Management System. Rel. Riccardo Sisto, Fulvio Valenza, Simone Bussa. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Informatica (Computer Engineering), 2023

This list was generated on Tue Jun 24 19:54:14 2025 CEST.

Contacts