Tesi scritta in LaTex per la laurea triennale in Ingegneria Informatica presso l'Università di Pisa.
Lo scopo della tesi è stato quello di studiare le cause e gli effetti di Meltdown, una grave vulnerabilità hardware che sfrutta un effetto collaterale dell'esecuzione speculativa presente nei microprocessori Intel, e di implementare una versione ottimizzata della mitigazione KAISER nel nucleo didattico del corso di Calcolatori Elettronici, tenuto dall'ing. Giuseppe Lettieri.