Mohamed OULAAFFART

6
Documents

Publications

Publications

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
2025 IEEE 11th International Conference on Network Softwarization (NetSoft), IEEE, Jun 2025, Budapest, France. ⟨10.1109/NetSoft64993.2025.11080533⟩
Communication dans un congrès hal-05185090 v1
Image document

An Automated SMT-based Security Framework for Supporting Migrations in Cloud Composite Services

Mohamed Oulaaffart , Remi Badonnel , Christophe Bianco
IEEE/IFIP Network Operations and Management Symposium, Apr 2022, Budapest, Hungary
Communication dans un congrès hal-03886057 v1
Image document

CMSec: A Vulnerability Prevention Tool for Supporting Migrations in Cloud Composite Services

Mohamed Oulaaffart , Rémi Badonnel , Olivier Festor
CloudNet 2022 - IEEE International Conference on Cloud Networking, Nov 2022, Paris, France
Communication dans un congrès hal-03886094 v2
Image document

Towards Automating Security Enhancement for Cloud Services

Mohamed Oulaaffart , Remi Badonnel , Olivier Festor
IM 2021 - 17th IFIP/IEEE International Symposium on Integrated Network Management, May 2021, Lyon / Virtuel, France
Communication dans un congrès hal-03454868 v1