A Verifiable Computing Scheme for Encrypted Control Systems. - Francesca Stabile; Walter Lucia; Amr M. Youssef; Giuseppe Franzè (IEEE Control. Syst. Lett., 2024)