Security of Cyber-Physical Systems: Design of a Security Supervisor to Thwart Attacks. - Públio M. Lima; Marcos Vinícius Silva Alves; Lilian Kawakami Carvalho; Marcos V. Moreira (IEEE Trans Autom. Sci. Eng., 2022)

Ensuring confidentiality of cyber-physical systems using event-based cryptography. - Públio M. Lima; Lilian K. Carvalho; Marcos V. Moreira (Inf. Sci., 2023)

A cryptographic system based on automata for Networked Automation Systems abstracted as Discrete-Event Systems. - Marcos V. Moreira; Públio M. Lima; Lilian K. Carvalho; Felipe G. Cabral (CASE, 2024)

Recovery of Discrete Event Systems After Active Cyberattacks. - Dayse M. Cavalcanti; Públio M. Lima; Max Hering de Queiroz; Felipe G. Cabral (IEEE Control. Syst. Lett., 2025)