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

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)