Laboratorio Computazionale

L'esame di Laboratorio Computazionale è un esame obbligatorio per il curriculum Computazionale di Matematica a Pisa. Consiste nella produzione di un piccolo progetto con sperimentazione numerica e conseguente relazione su una qualsiasi branca della matematica che si presti a tale scopo a scelta dallo studente.

Ho svolto il mio progetto seguito dai professori di Informatica Anna Bernasconi e Stefano Chessa, che sono poi diventati i miei relatori per la tesi triennale.

Il titolo del progetto è "Metodi di aggregazione di dati mediante Crittografia Post-Quantistica per l’IoT" ed è un progettino giocattolo in cui è stata svolta un'analisi di due metodi per ottenere la media di dati sensibili, uno tramite Fully Homomorphic Encryption e l'altro tramite Multi-Party Computation.

Il progetto ha anche previsto la sperimentazione in "caso d'uso reale" dei protocolli, sperimentando il protocollo FHE tramite la libreria PALISADE su un Raspberry Pi, e il protocollo MPC tramite un'implementazione manuale su un Rasperry Pi Pico.