Automatic verification of conformance of firewall configurations to security policies. - Nihel Ben Youssef; Adel Bouhoula; Florent Jacquemard (ISCC, 2009)

Automatic Conformance Verification of Distributed Firewalls to Security Requirements. - Nihel Ben Youssef; Adel Bouhoula (SocialCom/PASSAT, 2010)

A Fully Automatic Approach for Fixing Firewall Misconfigurations. - Nihel Ben Youssef; Adel Bouhoula (CIT, 2011)

Dealing with Stateful Firewall Checking. - Nihel Ben Youssef; Adel Bouhoula (DICTAP (1), 2011)

Systematic Deployment of Network Security Policy in Centralized and Distributed Firewalls. - Nihel Ben Youssef; Adel Bouhoula (SocialCom/PASSAT, 2011)

Towards Safe and Optimal Network Designs Based on Network Security Requirements. - Nihel Ben Youssef Ben Souayeh; Adel Bouhoula (TrustCom, 2012)

Formal Checking of Multiple Firewalls - Nihel Ben Youssef Ben Souayeh; Adel Bouhoula (CoRR, 2012)

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

A Formal Environment for MANET Organization and Security. - Aida Ben Chehida Douss; Ryma Abassi; Nihel Ben Youssef; Sihem Guemara El Fatmi (CANS, 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)

Threat Modeling with Mitre ATT&CK Framework Mapping for SD-IOT Security Assessment and Mitigations. - Wissem Chorfa; Nihel Ben Youssef; Abderrazak Jemai (ISCC, 2023)