Adel Bouhoula

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

Human face detection improvement using incremental learning based on low variance directions

Riadh Ksantini, Adel Bouhoula, Takoua Kefi-Fatteh, 2019, Signal Image Video Process..

Parameterized conditional specifications : sufficient completeness and implicit induction

Adel Bouhoula, 1993 .

On the fly pattern matching for intrusion detection with Snort

Michaël Rusinowitch, Adel Bouhoula, Tarek Abbes, 2004, Ann. des Télécommunications.

Net Auto-Solver: A formal approach for automatic resolution of OpenFlow anomalies

Anis Yazidi, Adel Bouhoula, Ramtin Aryan, 2020, 2020 IEEE 45th Conference on Local Computer Networks (LCN).

Dynamic Scheme for Packet Classification Using Splay Trees

Adel Bouhoula, Nizar Ben Neji, 2008, CISIS.

Automata-driven automated induction

Jean-Pierre Jouannaud, Adel Bouhoula, J. Jouannaud, 1997, Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.

Ensuring security in depth based on heterogeneous network security technologies

Adel Bouhoula, Tarek Abbes, Sourour Meharouech, 2009, International Journal of Information Security.

Towards a Reliable Formal Framework for Enhancing Risk Assessment in Access Control Systems

Adel Bouhoula, Faouzi Jaïdi, Faten Labbene, 2017, SCSS.

An inference system for detecting firewall filtering rules anomalies

Michaël Rusinowitch, Adel Bouhoula, Tarek Abbes, 2008, SAC '08.

Handling Anomalies in Distributed Firewalls

Adel Bouhoula, Zouheir Trabelsi, 2006, 2006 Innovations in Information Technology.

Rank Functions Based Inference System for Group Key Management Protocols Verification

Sofiène Tahar, Amjad Gawanmeh, Adel Bouhoula, 2009, Int. J. Netw. Secur..

Systematic Deployment of Network Security Policy in Centralized and Distributed Firewalls

Adel Bouhoula, Nihel Ben Youssef, 2011, 2011 IEEE Third Int'l Conference on Privacy, Security, Risk and Trust and 2011 IEEE Third Int'l Conference on Social Computing.

Detection of firewall configuration errors with updatable tree

Michaël Rusinowitch, Adel Bouhoula, Tarek Abbes, 2015, International Journal of Information Security.

Behavior-based approach to detect spam over IP telephony attacks

Adel Bouhoula, Tarek Abbes, Wassim Ben Chikha, 2015, International Journal of Information Security.

A Comprehensive Solution for the Analysis, Validation and Optimization of SDN Data-Plane Configurations

Adel Bouhoula, Faouzi Jaïdi, Wejdene Saied, 2020, 2020 16th International Conference on Network and Service Management (CNSM).

SPIKE-AC: A System for Proofs by Induction in Associative-Commutative Theories

Michaël Rusinowitch, Adel Bouhoula, Narjes Berregeb, 1996, RTA.

Automatic Verification of Firewall Configuration with Respect to Security Policy Requirements

Adel Bouhoula, Soutaro Matsumoto, 2008, CISIS.

On Assisted Packet Filter Conflicts Resolution: An Iterative Relaxed Approach

Anis Yazidi, Adel Bouhoula, A. Yazidi, 2016, 2016 IEEE 41st Conference on Local Computer Networks (LCN).

Experimental analysis of attacks against web services and countermeasures

Adel Bouhoula, Abdallah Ghourabi, Tarek Abbes, 2010, iiWAS.

Network Security Alerts Management Architecture for Signature-Based Intrusions Detection Systems within a NAT Environment

Adel Bouhoula, Tarek Abbes, Sourour Meharouech, 2011, Journal of Network and Systems Management.

Risk management for spam over IP telephony using optimal countermeasure

Adel Bouhoula, Tarek Abbes, Randa Jabeur Ben Chikha, 2016, 2016 International Conference on Digital Economy (ICDEc).

Automata-Driven Automated Induction

Jean-Pierre Jouannaud, Adel Bouhoula, 2001, Inf. Comput..

Security Implications of Network Address Translation on Intrusion Detection and Prevention Systems

Adel Bouhoula, Tarek Abbes, Sourour Meharouech, 2009, 2009 International Conference on Network and Service Security.

Advanced Techniques for Deploying Reliable and Efficient Access Control: Application to E-healthcare

Adel Bouhoula, Faouzi Jaïdi, Faten Labbene, 2016, Journal of Medical Systems.

NAF conversion: An efficient solution for the range matching problem in packet filters

Adel Bouhoula, Nizar Ben Neji, A. Bouhoula, 2011, 2011 IEEE 12th International Conference on High Performance Switching and Routing.

Towards a legislation driven framework for access control and privacy protection in public cloud

Adel Bouhoula, Hanen Boussi Rahmouni, Maherzia Belaazi, 2014, 2014 11th International Conference on Security and Cryptography (SECRYPT).

Dealing with Stateful Firewall Checking

Adel Bouhoula, Nihel Ben Youssef, A. Bouhoula, 2011, DICTAP.

Constrained Tree Grammars to Pilot Automated Proof by Induction

Florent Jacquemard, Adel Bouhoula, A. Bouhoula, 2004 .

Automatic Analysis of Web Service Honeypot Data Using Machine Learning Techniques

Adel Bouhoula, Abdallah Ghourabi, Tarek Abbes, 2012, CISIS/ICEUTE/SOCO Special Sessions.

A delegation model for extended RBAC

Nora Cuppens-Boulahia, Frédéric Cuppens, Adel Bouhoula, 2010, International Journal of Information Security.

A New FDD-Based Method for Distributed Firewall Misconfigurations Resolution

Adel Bouhoula, Nihel Ben Youssef, Amina Saâdaoui, 2017, EMCIS.

Poster : Minimizing range rules for packet filtering using a double mask representation

Miguel Couceiro, Adel Bouhoula, Abdelkader Lahmadi, 2019, 2019 IFIP Networking Conference (IFIP Networking).

Risk Management for Spam over IP Telephony using Combined Countermeasures

Adel Bouhoula, Tarek Abbes, Randa Jabeur Ben Chikha, 2016, INFOS '16.

Implicit induction in conditional theories

Michaël Rusinowitch, Adel Bouhoula, 2004, Journal of Automated Reasoning.

Using Induction and Rewriting to Verify and Complete Parameterized Specifications

Adel Bouhoula, A. Bouhoula, 1996, Theor. Comput. Sci..

Managing hybrid packet filter's specifications

Adel Bouhoula, Nizar Ben Neji, 2012, Int. J. Secur. Networks.

A Traffic Classification Algorithm for Intrusion Detection

Michaël Rusinowitch, Adel Bouhoula, Tarek Abbes, 2007, 21st International Conference on Advanced Information Networking and Applications Workshops (AINAW'07).

A Comprehensive Formal Solution for Access Control Policies Management: Defect Detection, Analysis and Risk Assessment

Adel Bouhoula, Faouzi Jaïdi, Faten Labbene, 2017, SCSS.

Tuple Based Approach for Anomalies Detection within Firewall Filtering Rules

Adel Bouhoula, Mohammed Anis Benelbahri, A. Bouhoula, 2007, 2007 12th IEEE Symposium on Computers and Communications.

SPIKE: a System for Sufficient Completeness and Parameterized Inductive Proofs

Adel Bouhoula, 1994, CADE.

A Comprehensive Quantified Approach for Security Risk Management in e-Health Systems

Adel Bouhoula, Faouzi Jaïdi, Sondes Ksibi, 2020, ICETE.

A new approach for anomalies resolution within filtering rules

Anis Yazidi, Adel Bouhoula, 2007 .

A Domain Specific Language for Securing Distributed Systems

Adel Bouhoula, Mohamed Mosbah, Hédi Hamdi, 2007, 2007 Second International Conference on Systems and Networks Communications (ICSNC 2007).

Human Face Detection Improvement Using Incremental Learning Based on Low Variance Directions

Riadh Ksantini, Adel Bouhoula, Mohamed Bécha Kaâniche, 2017, ACIVS.

Simultaneous checking of completeness and ground confluence for algebraic specifications

Adel Bouhoula, A. Bouhoula, 2009, TOCL.

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

Adel Bouhoula, Nihel Ben Youssef, Amina Saâdaoui, 2018, TRIDENTCOM.

Security Protocol Verification with Implicit Induction and Explicit Destructors 1

Florent Jacquemard, Adel Bouhoula, A. Bouhoula, 2006 .

RBAC+: Dynamic Access Control for RBAC-Administered Web-Based Databases

Nhan Le Thanh, Adel Bouhoula, Faten Labbene, 2010, 2010 Fourth International Conference on Emerging Security Information, Systems and Technologies.

Detection of Covert Channels Over ICMP Protocol

Adel Bouhoula, Tarek Abbes, Sirine Sayadi, 2017, 2017 IEEE/ACS 14th International Conference on Computer Systems and Applications (AICCSA).

Integrity-OrBAC: a new model to preserve Critical Infrastructures integrity

Ryma Abassi, Anas Abou El Kalam, Abdellah Ait Ouahman, 2014, International Journal of Information Security.

Specification of Electronic Voting Protocol Properties Using ADM Logic: FOO Case Study

Mohamed Mejri, Benjamin Morin, Valérie Viet Triem Tong, 2008, ICICS.

Specification and proof in membership equational logic

José Meseguer, Jean-Pierre Jouannaud, Adel Bouhoula, 2000, Theor. Comput. Sci..

Managing Delegation in Access Control Models

Nora Cuppens-Boulahia, Frédéric Cuppens, Adel Bouhoula, 2007, 15th International Conference on Advanced Computing and Communications (ADCOM 2007).

A Model based on Parallel Intrusion Detection Systems for High Speed Networking Security

Adel Bouhoula, Tarek Abbes, Sourour Meharouech, 2007 .

Formal Checking of Multiple Firewalls pdf

Adel Bouhoula, Nihel Ben Youssef, A. Bouhoula, 2012, ArXiv.

Managing Delegation in Access Control Models

Nora Cuppens-Boulahia, Frédéric Cuppens, Adel Bouhoula, 2007 .

A Software Architecture for Automatic Security Policy Enforcement in Distributed Systems

Adel Bouhoula, Mohamed Mosbah, Hédi Hamdi, 2007, The International Conference on Emerging Security Information, Systems, and Technologies (SECUREWARE 2007).

A novel incremental one-class support vector machine based on low variance direction

Riadh Ksantini, Adel Bouhoula, Takoua Kefi-Fatteh, 2019, Pattern Recognit..

FARE: FDD-based firewall anomalies resolution tool

Adel Bouhoula, Nihel Ben Youssef, Amina Saâdaoui, 2017, J. Comput. Sci..

Automated Theorem Proving by Test Set Induction

Adel Bouhoula, A. Bouhoula, 1997, J. Symb. Comput..

A Novel Dispersion Covariance-guided One-Class Support Vector Machines

Riadh Ksantini, Soumaya Nheri, Adel Bouhoula, 2020, VISIGRAPP.

A Fully Automatic Approach for Fixing Firewall Misconfigurations

Adel Bouhoula, Nihel Ben Youssef, 2011, 2011 IEEE 11th International Conference on Computer and Information Technology.

A Novel Multispectral Lab-depth based Edge Detector for Color Images with Occluded Objects

Riadh Ksantini, Adel Bouhoula, Mohamed Bécha Kaâniche, 2019, VISIGRAPP.

Incremental One-Class Models for Data Classification pdf

Riadh Ksantini, Adel Bouhoula, Mohamed Bécha Kaâniche, 2016, ArXiv.

An Accurate FDD-Based Approach for Discovering Distributed Firewalls Misconfigurations

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

Automatic Verification of Sufficient Completeness for Conditional Constrained Term Rewriting Systems

Florent Jacquemard, Adel Bouhoula, 2006 .

Automated Induction with Constrained Tree Automata

Florent Jacquemard, Adel Bouhoula, A. Bouhoula, 2008, IJCAR.

SPIKE, an Automatic Theorem Prover

Michaël Rusinowitch, Emmanuel Kounalis, Adel Bouhoula, 1992, LPAR.

R2-D2: Filter Rule set Decomposition and Distribution in Software Defined Networks

Michaël Rusinowitch, Adel Bouhoula, Abdelkader Lahmadi, 2020, 2020 16th International Conference on Network and Service Management (CNSM).

Honeypot router for routing protocols protection

Adel Bouhoula, Abdallah Ghourabi, Tarek Abbes, 2009, 2009 Fourth International Conference on Risks and Security of Internet and Systems (CRiSIS 2009).

Special issue on symbolic computation in software science

Bruno Buchberger, Laura Kovács, Adel Bouhoula, 2015, J. Symb. Comput..

Enforcing Access Control to Web Databases

Nhan Le Thanh, Adel Bouhoula, Faten Labbene, 2010, 2010 10th IEEE International Conference on Computer and Information Technology.

Towards safe and optimal filtering rule reordering for complex packet filters

Adel Bouhoula, Nizar Ben Neji, 2011, 2011 5th International Conference on Network and System Security.

Self-adjusting scheme for high speed routers

Adel Bouhoula, Nizar Ben Neji, 2008, 2008 33rd IEEE Conference on Local Computer Networks (LCN).

An Access Control Model for Web Databases

Nhan Le Thanh, Adel Bouhoula, Faten Labbene, 2010, DBSec.

Sufficient Completeness and Parameterized Proofs by Induction

Adel Bouhoula, A. Bouhoula, 1994, ALP.

A Low Inertia Guided Auto-Encoder for Anomaly Detection in Networks

Riadh Ksantini, Adel Bouhoula, Yves Nsoga Nguimbous, 2020, 2020 International Conference on Software, Telecommunications and Computer Networks (SoftCOM).

Firewall filtering rules analysis for anomalies detection

Adel Bouhoula, Ezedin Barka, Zouheir Trabelsi, 2008, Int. J. Secur. Networks.

A SPIT detection algorithm based on user's call behavior

Adel Bouhoula, Tarek Abbes, Randa Jabeur Ben Chikha, 2013, 2013 21st International Conference on Software, Telecommunications and Computer Networks - (SoftCOM 2013).

A Formal Approach for Automatic Detection and Correction of SDN Switch Misconfigurations

Adel Bouhoula, Wejdene Saied, A. Bouhoula, 2020, 2020 16th International Conference on Network and Service Management (CNSM).

Enabling flexible packet filtering through the K-map priority elimination technique

Adel Bouhoula, Masato Kimura, Nizar Ben Neji, 2011, 2011 IEEE 36th Conference on Local Computer Networks.

Efficient decision tree for protocol analysis in intrusion detection

Michaël Rusinowitch, Adel Bouhoula, Tarek Abbes, 2010, Int. J. Secur. Networks.

An Extended Role-Based Access Control Model for Delegating Obligations

Nora Cuppens-Boulahia, Frédéric Cuppens, Adel Bouhoula, 2009, TrustBus.

Collaboration between Security Devices toward improving Network Defense

Adel Bouhoula, Tarek Abbes, Sourour Meharouech, 2008, ACIS-ICIS.

Enforcing a Risk Assessment Approach in Access Control Policies Management: Analysis, Correlation Study and Model Enhancement

Adel Bouhoula, Faouzi Jaïdi, Faten Labbene, 2019, 2019 15th International Wireless Communications & Mobile Computing Conference (IWCMC).

Automatic Conformance Verification of Distributed Firewalls to Security Requirements

Adel Bouhoula, Nihel Ben Youssef, A. Bouhoula, 2010, 2010 IEEE Second International Conference on Social Computing.

Towards Safe and Optimal Network Designs Based on Network Security Requirements

Adel Bouhoula, Nihel Ben Youssef, 2012, 2012 IEEE 11th International Conference on Trust, Security and Privacy in Computing and Communications.

Automated Mathematical Induction

Michaël Rusinowitch, Emmanuel Kounalis, Adel Bouhoula, 1995, J. Log. Comput..

Automated Verification by Induction with Associative-Commutative Operators

Michaël Rusinowitch, Adel Bouhoula, Narjes Berregeb, 1996, CAV.

Data analyzer based on data mining for Honeypot Router

Adel Bouhoula, Abdallah Ghourabi, Tarek Abbes, 2010, ACS/IEEE International Conference on Computer Systems and Applications - AICCSA 2010.

An Ontology Regulating Privacy Oriented Access Controls

Adel Bouhoula, Hanen Boussi Rahmouni, Maherzia Belaazi, 2015, CRiSIS.

SPIKE: A System for Automatic Inductive Proofs

Michaël Rusinowitch, Adel Bouhoula, M. Rusinowitch, 1995, AMAST.

Observational proofs by rewriting

Michaël Rusinowitch, Adel Bouhoula, 2002, Theor. Comput. Sci..

Misbehavior Detection Using Implicit Trust Relations in the AODV Routing Protocol

Adel Bouhoula, Christophe Bidan, Tarek Abbes, 2009, 2009 International Conference on Computational Science and Engineering.

General Framework for Mechanizing Induction using Test Set

Adel Bouhoula, A. Bouhoula, 1996, PRICAI.

Observational Proofs by Implicit Context Induction

Michaël Rusinowitch, Adel Bouhoula, Narjes Berregeb, 1997 .

A prefix-based approach for managing hybrid specifications in complex packet filtering

Adel Bouhoula, Nizar Ben Neji, 2012, Comput. Networks.

Trusted intrusion detection architecture for high-speed networks based on traffic classification, load balancing and high availability mechanism

Adel Bouhoula, Tarek Abbes, Sourour Meharouech, 2011, Secur. Commun. Networks.

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

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

Simultaneous checking of completeness and ground confluence

Adel Bouhoula, 2000, Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering.

Automated Induction for Complex Data Structures pdf

Florent Jacquemard, Adel Bouhoula, A. Bouhoula, 2008, ArXiv.

Anomalies Correlation for Risk-Aware Access Control Enhancement

Adel Bouhoula, Faouzi Jaïdi, Faten Labbene, 2018, ENASE.

Characterization of attacks collected from the deployment of Web service honeypot

Adel Bouhoula, Abdallah Ghourabi, Tarek Abbes, 2014, Secur. Commun. Networks.

Specification of Anonymity as a Secrecy Property in the ADM Logic - Homomorphic-Based Voting Protocols

Valérie Viet Triem Tong, Adel Bouhoula, Mehdi Talbi, 2009, 2009 International Conference on Availability, Reliability and Security.

Protocol analysis in intrusion detection using decision tree

Michaël Rusinowitch, Adel Bouhoula, Tarek Abbes, 2004, International Conference on Information Technology: Coding and Computing, 2004. Proceedings. ITCC 2004..

Specification and evaluation of polymorphic shellcode properties using a new temporal logic

Mohamed Mejri, Adel Bouhoula, Mehdi Talbi, 2008, Journal in Computer Virology.

A Novel Incremental Covariance-Guided One-Class Support Vector Machine

Riadh Ksantini, Adel Bouhoula, Mohamed Bécha Kaâniche, 2016, ECML/PKDD.

Efficient Distribution of Security Policy Filtering Rules in Software Defined Networks

Michaël Rusinowitch, Adel Bouhoula, Abdelkader Lahmadi, 2020, 2020 IEEE 19th International Symposium on Network Computing and Applications (NCA).

Design and implementation of Web service honeypot

Adel Bouhoula, Abdallah Ghourabi, Tarek Abbes, 2011, SoftCOM 2011, 19th International Conference on Software, Telecommunications and Computer Networks.

Optimization of parallel firewalls filtering rules

Riadh Ksantini, Adel Bouhoula, Taha Elamine Hadjadj, 2021, International Journal of Information Security.

A Systematic Approach for IoT Cyber-Attacks Detection in Smart Cities Using Machine Learning Techniques

Adel Bouhoula, Faouzi Jaïdi, Mehdi Houichi, 2021, AINA.

Cyber-Risk Management within IoMT: a Context-aware Agent-based Framework for a Reliable e-Health System

Adel Bouhoula, Faouzi Jaïdi, Sondes Ksibi, 2021, iiWAS.

Attacks Scenarios in a Correlated Anomalies Context: Case of Medical System Database Application

Adel Bouhoula, Faouzi Jaïdi, Faten Labbene, 2021, ENASE.

Filtrage Efficace Pour la Détection d'Intrusions

Michaël Rusinowitch, Adel Bouhoula, Tarek Abbes, 2003 .

Fundamental Results on Automated Theorem Proving by Test Set Induction

Adel Bouhoula, 1995 .