CyFence: Securing Cyber-Physical Controllers via Trusted Execution Environment. - Stefano Longari; Alessandro Pozone; Jessica Leoni; Mario Polino; Michele Carminati; Mara Tanelli; Stefano Zanero (IEEE Trans. Emerg. Top. Comput., 2024)