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⟩ |
|
|
|
An Automated SMT-based Security Framework for Supporting Migrations in Cloud Composite ServicesIEEE/IFIP Network Operations and Management Symposium, Apr 2022, Budapest, Hungary |
|
|
CMSec: A Vulnerability Prevention Tool for Supporting Migrations in Cloud Composite ServicesCloudNet 2022 - IEEE International Conference on Cloud Networking, Nov 2022, Paris, France |
|
|
Towards Automating Security Enhancement for Cloud ServicesIM 2021 - 17th IFIP/IEEE International Symposium on Integrated Network Management, May 2021, Lyon / Virtuel, France |
|
|
Automating Security Enhancement for Cloud ServicesComputer Science [cs]. Université de Lorraine, 2023. English. ⟨NNT : 2023LORR0232⟩ |
|
|
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⟩ |
Chargement...
Chargement...