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-05185090v1
Deposit thumbnail

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-03886057v1
Deposit thumbnail

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-03886094v2
Deposit thumbnail

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-03454868v1