Janus: A Trusted Execution Environment Approach for Attack Detection in Industrial Robot Controllers. - Stefano Longari; Jacopo Jannone; Mario Polino; Michele Carminati; Andrea Maria Zanchettin; Mara Tanelli; Stefano Zanero (IEEE Trans. Emerg. Top. Comput., 2025)