PORTALE DELLA DIDATTICA

Ricerca CERCA
  KEYWORD

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/07/2024      PROPONI LA TUA CANDIDATURA