Giulio Sunder. Security formal verification engine for OT infrastructures. Rel. Cataldo Basile. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Informatica (Computer Engineering), 2024