FlowChecker: configuration analysis and verification of federated openflow infrastructures. - Ehab Al-Shaer; Saeed Al-Haj (SafeConfig, 2010)

CloudChecker: An imperative framework for cloud configuration management. - Saeed Al-Haj; Ehab Al-Shaer (SafeConfig, 2011)

Measuring Firewall Security. - Saeed Al-Haj; Ehab Al-Shaer (SafeConfig, 2011)

Build and Test Your Own Network Configuration. - Saeed Al-Haj; Padmalochan Bera; Ehab Al-Shaer (SecureComm, 2011)

Provable configuration planning for wireless sensor networks. - Qi Duan; Saeed Al-Haj; Ehab Al-Shaer (CNSM, 2012)

Anomaly Discovery and Resolution in MySQL Access Control Policies. - Mohamed Shehab; Saeed Al-Haj; Salil Bhagurkar; Ehab Al-Shaer (DEXA (2), 2012)

Security-Aware Resource Allocation in Clouds. - Saeed Al-Haj; Ehab Al-Shaer; HariGovind V. Ramasamy (IEEE SCC, 2013)

Objective metrics for firewall security: A holistic view. - Mohammed Noraden Alsaleh; Saeed Al-Haj; Ehab Al-Shaer (CNS, 2013)

A formal approach for virtual machine migration planning. - Saeed Al-Haj; Ehab Al-Shaer (CNSM, 2013)

SensorChecker: reachability verification in mission-oriented sensor networks. - Ehab Al-Shaer; Qi Duan; Saeed Al-Haj; Moustafa Youssef 001 (MiSeNet@MobiCom, 2013)

FlowTable pipeline misconfigurations in Software Defined Networks. - Saeed Al-Haj; William J. Tolone (INFOCOM Workshops, 2017)