Defense in Depth Formulation and Usage in Dynamic Access Control. - Ridha Khédri; Owain Jones; Mohammed Alabbad (POST, 2017)

Configuration and Governance of Dynamic Secure SDN. - Mohammed Alabbad; Ridha Khédri (ANT/EDI40, 2021)

A Formal Approach to Network Segmentation. - Neerja Mhaskar; Mohammed Alabbad; Ridha Khédri (Comput. Secur., 2021)

Dynamic Segmentation, Configuration, and Governance of SDN. - Mohammed Alabbad; Ridha Khédri (J. Ubiquitous Syst. Pervasive Networks, 2022)

Hardening of network segmentation using automated referential penetration testing. - Mohammed Alabbad; Neerja Mhaskar; Ridha Khédri (J. Netw. Comput. Appl., 2024)

Two formal design solutions for the generalization of network segmentation. - Mohammed Alabbad; Neerja Mhaskar; Ridha Khédri (J. Netw. Comput. Appl., 2024)