Gianluca Scopelliti. Securing Smart Environments with Authentic Execution. Rel. Cataldo Basile. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Informatica (Computer Engineering), 2020