Antonino Santa Rosa. Validating a Threat Model for Smart Home Gateways. Rel. Fulvio Corno, Luca Mannella. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Informatica (Computer Engineering), 2023