Formal approach for managing firewall misconfigurations. - Amina Saadaoui; Nihel Ben Youssef Ben Souayeh; Adel Bouhoula (RCIS, 2014)

Automatic Classification and Detection of Snort Configuration Anomalies - a Formal Approach. - Amina Saadaoui; Hajar Benmoussa; Adel Bouhoula; Anas Abou El Kalam (CISIS-ICEUTE, 2015)

Automated and Optimized FDD-Based Method to Fix Firewall Misconfigurations. - Amina Saadaoui; Nihel Ben Youssef Ben Souayeh; Adel Bouhoula (NCA, 2015)

An Accurate FDD-Based Approach for Discovering Distributed Firewalls Misconfigurations. - Amina Saadaoui; Nihel Ben Youssef Ben Souayeh; Adel Bouhoula (Trustcom/BigDataSE/ISPA, 2016)

A New FDD-Based Method for Distributed Firewall Misconfigurations Resolution. - Amina Saâdaoui; Nihel Ben Youssef Ben Souayeh; Adel Bouhoula (EMCIS, 2017)

Automatic detection and correction of firewall misconfigurations- A formal approach. - Amina Saâdaoui; Nihel Ben Youssef; Adel Bouhoula (SCSS, 2017)

FARE: FDD-based firewall anomalies resolution tool. - Amina Saâdaoui; Nihel Ben Youssef Ben Souayeh; Adel Bouhoula (J. Comput. Sci., 2017)

Automated and Optimized Formal Approach to Verify SDN Access-Control Misconfigurations. - Amina Saâdaoui; Nihel Ben Youssef Ben Souayeh; Adel Bouhoula (TRIDENTCOM, 2018)

Deep and Automated SDN Data Plane Analysis. - Wejdene Saied; Nihel Ben Youssef Ben Souayeh; Amina Saadaoui; Adel Bouhoula (SoftCOM, 2019)