MASAT: Model-based automated security assessment tool for cloud computing. - Oussama Mjihil; Dong Seong Kim 001; Abdelkrim Haqiq (IAS, 2015)

Scalable and Dynamic Network Intrusion Detection and Prevention System. - Safaa Mahrach; Oussama Mjihil; Abdelkrim Haqiq (IBICA, 2017)

Optimized Security as a Service Platforms via Stochastic Modeling and Dynamic Programming. - Oussama Mjihil; Hamid Taramit; Abdelkrim Haqiq; Dijiang Huang (IBICA, 2017)

A New Extension of Larman's Operation Contracts for Security Properties Injection and Verification during the System's Internal Behavior Elaboration. - Lasbahani Abdellatif; Mostafa Chhiba; Abdelmoumen Tabyaoui; Oussama Mjihil (ICCWCS, 2017)

Deals with integrating of security specifications during software design phase using MDA approach. - Lasbahani Abdellatif; Mostafa Chhiba; Oussama Mjihil (ICC, 2017)

Improving Attack Graph Scalability for the Cloud Through SDN-Based Decomposition and Parallel Processing. - Oussama Mjihil; Dijiang Huang; Abdelkrim Haqiq (UNet, 2017)

Combining Dynamic and Static Attack Information for Attack Tracing and Event Correlation. - Adel Alshamrani; Ankur Chowdhary; Oussama Mjihil; Sowmya Myneni; Dijiang Huang (GLOBECOM, 2018)