Nihel Ben Youssef

According to our database, Nihel Ben Youssef authored at least 17 papers between 2009 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Threat Modeling with Mitre ATT&CK Framework Mapping for SD-IOT Security Assessment and Mitigations.

Wissem Chorfa, Nihel Ben Youssef, Abderrazak Jemai

Proceedings of the IEEE Symposium on Computers and Communications, 2023

2019

Deep and Automated SDN Data Plane Analysis.

Wejdene Saied, Nihel Ben Youssef Ben Souayeh, Amina Saadaoui, Adel Bouhoula

Proceedings of the 2019 International Conference on Software, 2019

2018

Automated and Optimized Formal Approach to Verify SDN Access-Control Misconfigurations.

Amina Saâdaoui, Nihel Ben Youssef Ben Souayeh, Adel Bouhoula

Proceedings of the Testbeds and Research Infrastructures for the Development of Networks and Communications, 2018

2017

FARE: FDD-based firewall anomalies resolution tool.

Amina Saâdaoui, Nihel Ben Youssef Ben Souayeh, Adel Bouhoula

J. Comput. Sci., 2017

Automatic detection and correction of firewall misconfigurations- A formal approach.

Amina Saâdaoui, Nihel Ben Youssef, Adel Bouhoula

Proceedings of the SCSS 2017, 2017

A New FDD-Based Method for Distributed Firewall Misconfigurations Resolution.

Amina Saâdaoui, Nihel Ben Youssef Ben Souayeh, Adel Bouhoula

Proceedings of the Information Systems, 2017

2016

An Accurate FDD-Based Approach for Discovering Distributed Firewalls Misconfigurations.

Amina Saadaoui, Nihel Ben Youssef Ben Souayeh, Adel Bouhoula

Proceedings of the 2016 IEEE Trustcom/BigDataSE/ISPA, 2016

2015

Automated and Optimized FDD-Based Method to Fix Firewall Misconfigurations.

Amina Saadaoui, Nihel Ben Youssef Ben Souayeh, Adel Bouhoula

Proceedings of the 14th IEEE International Symposium on Network Computing and Applications, 2015

A Formal Environment for MANET Organization and Security.

Aida Ben Chehida Douss, Ryma Abassi, Nihel Ben Youssef, Sihem Guemara El Fatmi

Proceedings of the Cryptology and Network Security - 14th International Conference, 2015

2014

Formal approach for managing firewall misconfigurations.

Amina Saadaoui, Nihel Ben Youssef Ben Souayeh, Adel Bouhoula

Proceedings of the IEEE 8th International Conference on Research Challenges in Information Science, 2014

2012

Formal Checking of Multiple Firewalls

Nihel Ben Youssef Ben Souayeh, Adel Bouhoula

CoRR, 2012

Towards Safe and Optimal Network Designs Based on Network Security Requirements.

Nihel Ben Youssef Ben Souayeh, Adel Bouhoula

Proceedings of the 11th IEEE International Conference on Trust, 2012

2011

Systematic Deployment of Network Security Policy in Centralized and Distributed Firewalls.

Nihel Ben Youssef, Adel Bouhoula

Proceedings of the PASSAT/SocialCom 2011, Privacy, 2011

Dealing with Stateful Firewall Checking.

Nihel Ben Youssef, Adel Bouhoula

Proceedings of the Digital Information and Communication Technology and Its Applications, 2011

A Fully Automatic Approach for Fixing Firewall Misconfigurations.

Nihel Ben Youssef, Adel Bouhoula

Proceedings of the 11th IEEE International Conference on Computer and Information Technology, 2011

2010

Automatic Conformance Verification of Distributed Firewalls to Security Requirements.

Nihel Ben Youssef, Adel Bouhoula

Proceedings of the 2010 IEEE Second International Conference on Social Computing, 2010

2009

Automatic verification of conformance of firewall configurations to security policies.

Nihel Ben Youssef, Adel Bouhoula, Florent Jacquemard

Proceedings of the 14th IEEE Symposium on Computers and Communications (ISCC 2009), 2009