A technique to monitor threats in SDN data plane computation. - Loïc Desgeorges; Jean-Philippe Georges; Thierry Divoux (HPSR, 2021)

Formalism and semantics of PyCATSHOO: A simulator of distributed stochastic hybrid automata. - Loïc Desgeorges; Pierre-Yves Piriou; Thibault Lemattre; Hassane Chraibi (Reliab. Eng. Syst. Saf., 2021)

Détection d'anomalies de sûreté et sécurité d'un contrôle centralisé de réseau. (Detection of safety and security anomalies of a centralized network control). - Loïc Desgeorges (2022)

RSC to the ReSCu: Automated Verification of Systems of Communicating Automata. - Loïc Desgeorges; Loïc Germerie Guizouarn (COORDINATION, 2023)

Detection of anomalies of a non-deterministic software-defined networking control. - Loïc Desgeorges; Jean-Philippe Georges; Thierry Divoux (Comput. Secur., 2023)

Introduction of Security in the Controller Placement Problem. - Loïc Desgeorges; Francescomaria Faticanti (HPSR, 2025)