Rilevamento di attacchi alla sicurezza in processori RISC-V

Docente

Luca Cassano (web, mail)

Area di ricerca

Architetture dei sistemi di elaborazione

Keyword (max 3 separate da virgola)

Security, Hardware, Simulazione

Tecnologie da utilizzare

GEM5, C/C++, Python, Machine Learning, Probabilistic Data Structures

Descrizione (max 500 caratteri)

I moderni microprocessori integrano elementi quali core multipli, vari livelli di caches, unità di accelerazione, esecuzione speculativa che da un lato migliorano tremendamente le performance ma dall’altro espongono il sistema a numerosi attacchi alla sicurezza. Esempi di tali attacchi sono i recenti Spectre e Meltdown che sfruttano misurazioni sul timing degli accessi alla cache per “rubare” informazioni che dovrebbero invece rimanere segrete. Questo progetto si propone di sviluppare tecniche basate su machine learning o su probabilistic data structures per la rilevazione della presenza di questi attacchi durante l’esecuzione di un programma.
Scroll to Top