Silvia Sisinni. Verification of Software Integrity in Distributed Systems. Rel. Antonio Lioy, Ignazio Pedone. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Informatica (Computer Engineering), 2021