PORTALE DELLA DIDATTICA

Ricerca CERCA
  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