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.

Luca Cassano (web, mail)

Architetture dei sistemi di elaborazione

Security, Hardware, Simulazione

C/C++, Python

L’offuscamento del software permette di ridurre gli effetti di vulnerabilità legate alla Hardware Security in generale e ai Hardware Trojan Horses in particolare. Per validare queste tecniche è necessaria la definizione di metriche e strumenti che siano in grado di esprimere in maniera misurabile la capacità di queste tecniche di proteggere i sistemi. Questo progetto ha lo scopo di definire ed implementare metriche e tecniche per l’analisi dell’efficacia di tecniche di offuscamento del software.