Secure Supervisory Control of Discrete Event Systems using Homomorphic Encryption*. - Ana Clara P. Gonçalves; Patrícia N. Pena; Lucas V. R. Alves (SII, 2026)