GABRIELE GUALANDI PhD Graduate PhD program:: XXXII supervisor: Luigi Vincenzo Mancini advisor: Luigi Vincenzo Mancini co-supervisor: Luigi Vincenzo Mancini, Emiliano Casalicchio Thesis title: ASiMOV: Microservices-Based Verifiable Control Logic with Estimable Detection Delay against Cyber-Attacks to Cyber-Physical Systems Research products Connessione ad iris non disponibile