Luca Cassano (web, mail)

Architetture dei sistemi di elaborazione

Security, Hardware, Simulazione

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

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.