Enforcing Safety under Actuator Injection Attacks through Input Filtering. - Escudero, Cédric; Murguia, Carlos; Massioni, Paolo; Zamaï, Eric (2022)