Mohamed OULAAFFART
6
Documents
Publications
Publications
Enhancing Artificial Intelligence with Verification Techniques to Support Automated Moving Target Defense in Cloud Composite Services2025 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
|
|
|
|
An Automated SMT-based Security Framework for Supporting Migrations in Cloud Composite ServicesIEEE/IFIP Network Operations and Management Symposium, Apr 2022, Budapest, Hungary
Communication dans un congrès
hal-03886057
v1
|
|
|
CMSec: A Vulnerability Prevention Tool for Supporting Migrations in Cloud Composite ServicesCloudNet 2022 - IEEE International Conference on Cloud Networking, Nov 2022, Paris, France
Communication dans un congrès
hal-03886094
v2
|
|
|
Towards Automating Security Enhancement for Cloud ServicesIM 2021 - 17th IFIP/IEEE International Symposium on Integrated Network Management, May 2021, Lyon / Virtuel, France
Communication dans un congrès
hal-03454868
v1
|
|
|
Automating Security Enhancement for Cloud ServicesComputer Science [cs]. Université de Lorraine, 2023. English. ⟨NNT : 2023LORR0232⟩
Thèse
tel-04516252
v1
|
|
|
C3S-TTP: A Trusted Third Party for Configuration Security in TOSCA-based Cloud ServicesJournal of Network and Systems Management, In press, ⟨10.1007/s10922-023-09792-7⟩
Article dans une revue
hal-04352233
v1
|
Chargement...
Chargement...