| 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