Amina Saadaoui

Automated and Optimized FDD-Based Method to Fix Firewall Misconfigurations

Adel Bouhoula, Amina Saadaoui, Nihel Ben Youssef, 2015, 2015 IEEE 14th International Symposium on Network Computing and Applications.

Formal approach for managing firewall misconfigurations

Adel Bouhoula, Amina Saadaoui, Nihel Ben Youssef, 2014, 2014 IEEE Eighth International Conference on Research Challenges in Information Science (RCIS).

Deep and Automated SDN Data Plane Analysis

Amina Saadaoui, Nihel Ben Youssef, Adel Bouhoula, 2019, 2019 International Conference on Software, Telecommunications and Computer Networks (SoftCOM).

An Accurate FDD-Based Approach for Discovering Distributed Firewalls Misconfigurations

Adel Bouhoula, Amina Saadaoui, Nihel Ben Youssef, 2016, 2016 IEEE Trustcom/BigDataSE/ISPA.

Toward Formal Verification of SDN Access-Control Misconfigurations

Amina Saadaoui, Amina Saâdaoui, 2019, Artificial Intelligence and Security Challenges in Emerging Networks.

Automatic Classification and Detection of Snort Configuration Anomalies - a Formal Approach

Anas Abou El Kalam, Adel Bouhoula, Amina Saadaoui, 2015, CISIS-ICEUTE.