| KEYWORD |
Analisi di sicurezza di protocolli per la remote attestation
Parole chiave ANALISI DELLA SICUREZZA, ANALISI DI VULNERABILITÀ
Riferimenti RICCARDO SISTO
Gruppi di ricerca COMPUTER NETWORKS GROUP - NETGROUP, DAUIN - GR-03 - COMPUTER NETWORKS GROUP - NETGROUP, GR-03 - COMPUTER NETWORKS GROUP - NETGROUP, NETGROUP
Tipo tesi TEORICO/SPERIMENTALE
Descrizione La tesi contribuirà al progetto di ricerca europeo Rainbow (https://rainbow-h2020.eu/), che mira a sviluppare soluzioni di edge computing sicuro e scalabile. La tesi si focalizzerà sull'analisi di sicurezza dei protocolli di remote attestation definiti all'interno di Rainbow. Il candidato analizzerà la sicurezza dei protocolli utilizzando lo strumento di verifica formale Proverif (https://prosecco.gforge.inria.fr/personal/bblanche/proverif/), con l'obiettivo di identificare possibili attacchi ai protocolli e suggerire migliorie. Il candidato dovrebbe avere buone basi di cybersecurity. Per questa tesi è fortemente raccomandabile aver seguito il corso "Security Verification and Testing", che fornisce le basi necessarie. Tramite questa tesi il candidato potrà rafforzare le proprie abilità relative all'analisi di sicurezza di algoritmi e protocolli.
Conoscenze richieste Reti di Calcolatori, Cybersecurity
Scadenza validita proposta 19/10/2021
PROPONI LA TUA CANDIDATURA