Marco Meloni. Asymmetric Verification for Control-flow Integrity in Multicore Embedded Systems. Rel. Paolo Ernesto Prinetto. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Informatica (Computer Engineering), 2021