PORTALE DELLA DIDATTICA

Ricerca CERCA
  KEYWORD

Security Analysis of Protocols for Remote Attestation

keywords SECURITY ANALISYS, VULNERABILITY ANALYSIS

Reference persons RICCARDO SISTO

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 Rainbow European Research Project (https://rainbow-h2020.eu/), which aims at developing solutions for scalable and secure edge computing. The thesis work will focus on the security analysis of the protocols for remote attestation defined within Rainbow. The candidate will analyse the security of the protocols by using the formal verification tool Proverif (https://prosecco.gforge.inria.fr/personal/bblanche/proverif/), 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


Deadline 19/10/2021      PROPONI LA TUA CANDIDATURA