| FARE: FDD-based firewall anomalies resolution tool A Saâdaoui, NBYB Souayeh, A Bouhoula Journal of computational science 23, 181-191, 2017 | 22 | 2017 |
| Formal approach for managing firewall misconfigurations A Saâdaoui, NBYB Souayeh, A Bouhoula 2014 IEEE Eighth International Conference on Research Challenges in …, 2014 | 18 | 2014 |
| Automated and optimized fdd-based method to fix firewall misconfigurations A Saadaoui, NBYB Souayeh, A Bouhoula 2015 IEEE 14th International Symposium on Network Computing and Applications …, 2015 | 8 | 2015 |
| Deep and automated SDN data plane analysis W Saied, NBYB Souayeh, A Saadaoui, A Bouhoula 2019 International Conference on Software, Telecommunications and Computer …, 2019 | 5 | 2019 |
| Automated and optimized formal approach to verify SDN access-control misconfigurations A Saâdaoui, N Ben Youssef Ben Souayeh, A Bouhoula Testbeds and Research Infrastructures for the Development of Networks and …, 2019 | 5 | 2019 |
| A new FDD-based method for distributed firewall misconfigurations resolution A Saâdaoui, N Ben Youssef Ben Souayeh, A Bouhoula Information Systems: 14th European, Mediterranean, and Middle Eastern …, 2017 | 3 | 2017 |
| Automatic detection and correction of firewall misconfigurations-A formal approach. A Saâdaoui, NB Youssef, A Bouhoula SCSS, 68-76, 2017 | 1 | 2017 |
| An accurate FDD-based approach for discovering Distributed Firewalls Misconfigurations A Saâdaoui, NBYB Souayeh, A Bouhoula 2016 IEEE Trustcom/BigDataSE/ISPA, 552-559, 2016 | 1 | 2016 |
| Automatic classification and detection of snort configuration anomalies-a formal approach A Saâdaoui, H Benmoussa, A Bouhoula, AAEL Kalam International Joint Conference: CISIS’15 and ICEUTE’15, 27-39, 2015 | 1 | 2015 |
| Toward Formal Verification of SDN Access-Control Misconfigurations A Saadaoui Artificial Intelligence and Security Challenges in Emerging Networks, 146-161, 2019 | | 2019 |
| Automated Detection and Resolution of Firewall Misconfigurations A Saâdaoui, NBYB Souayeh, A Bouhoula SYMBOLIC COMPUTATION IN SOFTWARE SCIENCE, 34, 2014 | | 2014 |
