Security Analysis of V2X Protocols
keywords SECURITY ANALISYS, VULNERABILITY ANALYSIS
Reference persons RICCARDO SISTO
External reference persons Simone Bussa
Research Groups COMPUTER NETWORKS GROUP - NETGROUP, DAUIN - GR-03 - COMPUTER NETWORKS GROUP - NETGROUP, GR-03 - COMPUTER NETWORKS GROUP - NETGROUP, NETGROUP
Thesis type THEORETICAL/EXPERIMENTAL
Description This thesis work contributes to the research activities that are currently in progress at the Turin Polytechnic about V2X protocols. Such protocols are an innovation that will soon come to practice and that will allow vehicles to communicate with various other entities (other vehicles, the road infrastructure, the human users and their devices) with many different final goals such as increase road safety, traffic conditions, energy efficiency, etc. The cyber security of such protocols is very important to make them ready for practical use. Currently, several such protocols have been proposed. In the future, some of them will be the basis for standardization. The thesis will focus on the formal security analysis of some of these protocols. The candidate will analyse the security of the protocols by using the formal verification tool Proverif (https://prosecco.gforge.inria.fr/personal/bblanche/proverif/), or similar tools like Tamarin (https://tamarin-prover.github.io/), with the aim of identifying possible attacks on the protocols and suggesting improvements.
The candidate should have good cybersecurity background. Having taken the course "Security Verification and Testing" is strongly suggested for this thesis, because it provides the necessary background. Taking this thesis the candidate will get more skilled in the security analysis of algorithms and protocols.
Required skills Reti di Calcolatori, Cybersecurity, Security Verification
Deadline 11/01/2024 PROPONI LA TUA CANDIDATURA