Towards Automating Security Enhancement for Cloud Services. - Mohamed Oulaaffart; Remi Badonnel; Olivier Festor (IM, 2021)

CMSec: A Vulnerability Prevention Tool for Supporting Migrations in Cloud Composite Services. - Mohamed Oulaaffart; Rémi Badonnel; Olivier Festor (CloudNet, 2022)

An Automated SMT-based Security Framework for Supporting Migrations in Cloud Composite Services. - Mohamed Oulaaffart; Remi Badonnel; Christophe Bianco (NOMS, 2022)

Automating Security Enhancement for Cloud Services. (Renforcement automatisé de la sécurité des services Cloud). - Mohamed Oulaaffart (2023)

C3S-TTP: A Trusted Third Party for Configuration Security in TOSCA-Based Cloud Services. - Mohamed Oulaaffart; Rémi Badonnel; Olivier Festor (J. Netw. Syst. Manag., 2024)

Enhancing Artificial Intelligence with Verification Techniques to Support Automated Moving Target Defense in Cloud Composite Services. - Mohamed Oulaaffart; Rémi Badonnel; Nicolas Schnepf; Christophe Bianco (NetSoft, 2025)