SPIKE, an Automatic Theorem Prover. - Adel Bouhoula; Emmanuel Kounalis; Michaël Rusinowitch (LPAR, 1992)

Automatic Case Analysis in Proof by Induction. - Adel Bouhoula; Michaël Rusinowitch (IJCAI, 1993)

Sufficient Completeness and Parameterized Proofs by Induction. - Adel Bouhoula (ALP, 1994)

SPIKE: a System for Sufficient Completeness and Parameterized Inductive Proofs. - Adel Bouhoula (CADE, 1994)

SPIKE: A System for Automatic Inductive Proofs. - Adel Bouhoula; Michaël Rusinowitch (AMAST, 1995)

Implicit Induction in Conditional Theories. - Adel Bouhoula; Michaël Rusinowitch (J. Autom. Reason., 1995)

Automated Mathematical Induction. - Adel Bouhoula; Emmanuel Kounalis; Michaël Rusinowitch (J. Log. Comput., 1995)

Automated Verification by Induction with Associative-Commutative Operators. - Narjes Berregeb; Adel Bouhoula; Michaël Rusinowitch (CAV, 1996)

General Framework for Mechanizing Induction using Test Set. - Adel Bouhoula (PRICAI, 1996)

SPIKE-AC: A System for Proofs by Induction in Associative-Commutative Theories. - Narjes Berregeb; Adel Bouhoula; Michaël Rusinowitch (RTA, 1996)

Using Induction and Rewriting to Verify and Complete Parameterized Specifications. - Adel Bouhoula (Theor. Comput. Sci., 1996)

Automated Theorem Proving by Test Set Induction. - Adel Bouhoula (J. Symb. Comput., 1997)

Observational Proofs with Critical Contexts. - Narjes Berregeb; Adel Bouhoula; Michaël Rusinowitch (FASE, 1998)

Simultaneous Checking of Completeness and Ground Confluence. - Adel Bouhoula (ASE, 2000)

Specification and proof in membership equational logic. - Adel Bouhoula; Jean-Pierre Jouannaud; José Meseguer 001 (Theor. Comput. Sci., 2000)

Automata-Driven Automated Induction. - Adel Bouhoula; Jean-Pierre Jouannaud (Inf. Comput., 2001)

Observational proofs by rewriting. - Adel Bouhoula; Michaël Rusinowitch (Theor. Comput. Sci., 2002)

Protocol Analysis in Intrusion Detection Using Decision Tree. - Tarek Abbes; Adel Bouhoula; Michaël Rusinowitch (ITCC (1), 2004)

On the fly pattern matching for intrusion detection with Snort. - Tarek Abbes; Adel Bouhoula; Michaël Rusinowitch (Ann. des Télécommunications, 2004)

A Traffic Classification Algorithm for Intrusion Detection. - Tarek Abbes; Adel Bouhoula; Michaël Rusinowitch (AINA Workshops (1), 2007)

A Stateful Real Time Intrusion Detection System for high-speed network. - Sourour Meharouech; Adel Bouhoula; Tarek Abbes (AINA, 2007)

A Domain Specific Language for Securing Distributed Systems. - Hédi Hamdi; Mohamed Mosbah 001; Adel Bouhoula (ICSNC, 2007)

Tuple Based Approach for Anomalies Detection within Firewall Filtering Rules. - Mohammed Anis Benelbahri; Adel Bouhoula (ISCC, 2007)

A Software Architecture for Automatic Security Policy Enforcement in Distributed Systems. - Hédi Hamdi; Adel Bouhoula; Mohamed Mosbah 001 (SECURWARE, 2007)

Collaboration between Security Devices toward improving Network Defense. - Sourour Meharouech; Adel Bouhoula; Tarek Abbes (ACIS-ICIS, 2008)

Automated Induction with Constrained Tree Automata. - Adel Bouhoula; Florent Jacquemard (IJCAR, 2008)

Automatic Verification of Firewall Configuration with Respect to Security Policy Requirements. - Soutaro Matsumoto; Adel Bouhoula (CISIS, 2008)

Dynamic Scheme for Packet Classification Using Splay Trees. - Nizar Ben Neji; Adel Bouhoula (CISIS, 2008)

Revocation Schemes for Delegation Licences. - Meriam Ben-Ghorbel-Talbi; Frédéric Cuppens; Nora Cuppens-Boulahia; Adel Bouhoula (ICICS, 2008)

Specification of Electronic Voting Protocol Properties Using ADM Logic: FOO Case Study. - Mehdi Talbi; Benjamin Morin; Valérie Viet Triem Tong; Adel Bouhoula; Mohamed Mejri (ICICS, 2008)

Self-adjusting scheme for high speed routers. - Nizar Ben Neji; Adel Bouhoula (LCN, 2008)

An inference system for detecting firewall filtering rules anomalies. - Tarek Abbes; Adel Bouhoula; Michaël Rusinowitch (SAC, 2008)

Automated Induction for Complex Data Structures - Adel Bouhoula; Florent Jacquemard (CoRR, 2008)

Firewall filtering rules analysis for anomalies detection. - Adel Bouhoula; Zouheir Trabelsi; Ezedin Barka; Mohammed Anis Benelbahri (Int. J. Secur. Networks, 2008)

Specification of Anonymity as a Secrecy Property in the ADM Logic - Homomorphic-Based Voting Protocols. - Mehdi Talbi; Valérie Viet Triem Tong; Adel Bouhoula (ARES, 2009)

Environmental awareness intrusion detection and prevention system toward reducing false positives and false negatives. - Sourour Meharouech; Adel Bouhoula; Tarek Abbes (CICS, 2009)

Honeypot router for routing protocols protection. - Abdallah Ghourabi; Tarek Abbes; Adel Bouhoula (CRiSIS, 2009)

Misbehavior Detection Using Implicit Trust Relations in the AODV Routing Protocol. - Mohamed Ali Ayachi; Christophe Bidan; Tarek Abbes; Adel Bouhoula (CSE (2), 2009)

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

An Extended Role-Based Access Control Model for Delegating Obligations. - Meriam Ben-Ghorbel-Talbi; Frédéric Cuppens; Nora Cuppens-Boulahia; Adel Bouhoula (TrustBus, 2009)

Ensuring security in depth based on heterogeneous network security technologies. - Sourour Meharouech; Adel Bouhoula; Tarek Abbes (Int. J. Inf. Sec., 2009)

Rank Functions Based Inference System for Group Key Management Protocols Verification. - Amjad Gawanmeh; Adel Bouhoula; Sofiène Tahar (Int. J. Netw. Secur., 2009)

Simultaneous checking of completeness and ground confluence for algebraic specifications. - Adel Bouhoula (ACM Trans. Comput. Log., 2009)

Specification and evaluation of polymorphic shellcode properties using a new temporal logic. - Mehdi Talbi; Mohamed Mejri; Adel Bouhoula (J. Comput. Virol., 2009)

Enforcing Access Control to Web Databases. - Ahlem Bouchahda; Nhan Le Thanh; Adel Bouhoula; Faten Labbene (CIT, 2010)

Data analyzer based on data mining for Honeypot Router. - Abdallah Ghourabi; Tarek Abbes; Adel Bouhoula (AICCSA, 2010)

An Access Control Model for Web Databases. - Ahlem Bouchahda-Ben Tekaya; Nhan Le Thanh; Adel Bouhoula; Faten Labbene Ayachi (DBSec, 2010)

Experimental analysis of attacks against web services and countermeasures. - Abdallah Ghourabi; Tarek Abbes; Adel Bouhoula (iiWAS, 2010)

RBAC+: Dynamic Access Control for RBAC-Administered Web-Based Databases. - Ahlem Bouchahda; Nhan Le Thanh; Adel Bouhoula; Faten Labbene (SECURWARE, 2010)

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

Managing Delegation in Access Control Models - Meriam Ben-Ghorbel-Talbi; Frédéric Cuppens; Nora Cuppens-Boulahia; Adel Bouhoula (CoRR, 2010)

A delegation model for extended RBAC. - Meriam Ben-Ghorbel-Talbi; Frédéric Cuppens; Nora Cuppens-Boulahia; Adel Bouhoula (Int. J. Inf. Sec., 2010)

Efficient decision tree for protocol analysis in intrusion detection. - Tarek Abbes; Adel Bouhoula; Michaël Rusinowitch (Int. J. Secur. Networks, 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)

NAF conversion: An efficient solution for the range matching problem in packet filters. - Nizar Ben Neji; Adel Bouhoula (HPSR, 2011)

Enabling flexible packet filtering through the K-map priority elimination technique. - Nizar Ben Neji; Adel Bouhoula; Masato Kimura (LCN, 2011)

Towards safe and optimal filtering rule reordering for complex packet filters. - Nizar Ben Neji; Adel Bouhoula (NSS, 2011)

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

Design and implementation of Web service honeypot. - Abdallah Ghourabi; Tarek Abbes; Adel Bouhoula (SoftCOM, 2011)

Network Security Alerts Management Architecture for Signature-Based Intrusions Detection Systems within a NAT Environment. - Sourour Meharouech; Adel Bouhoula; Tarek Abbes (J. Netw. Syst. Manag., 2011)

Trusted intrusion detection architecture for high-speed networks based on traffic classification, load balancing and high availability mechanism. - Sourour Meharouech; Adel Bouhoula; Tarek Abbes (Secur. Commun. Networks, 2011)

Automatic Analysis of Web Service Honeypot Data Using Machine Learning Techniques. - Abdallah Ghourabi; Tarek Abbes; Adel Bouhoula (CISIS/ICEUTE/SOCO Special Sessions, 2012)

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

A prefix-based approach for managing hybrid specifications in complex packet filtering. - Nizar Ben Neji; Adel Bouhoula (Comput. Networks, 2012)

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

Managing hybrid packet filter's specifications. - Nizar Ben Neji; Adel Bouhoula (Int. J. Secur. Networks, 2012)

Sufficient completeness verification for conditional and constrained TRS. - Adel Bouhoula; Florent Jacquemard (J. Appl. Log., 2012)

A SPIT detection algorithm based on user's call behavior. - Randa Jabeur Ben Chikha; Tarek Abbes; Adel Bouhoula (SoftCOM, 2013)

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

Behavior Analysis of Web Service Attacks. - Abdallah Ghourabi; Tarek Abbes; Adel Bouhoula (SEC, 2014)

Towards a Legislation Driven Framework for Access Control and Privacy Protection in Public Cloud. - Maherzia Belaazi; Hanene Boussi Rahmouni; Adel Bouhoula (SECRYPT, 2014)

Characterization of attacks collected from the deployment of Web service honeypot. - Abdallah Ghourabi; Tarek Abbes; Adel Bouhoula (Secur. Commun. Networks, 2014)

Automatic Classification and Detection of Snort Configuration Anomalies - a Formal Approach. - Amina Saadaoui; Hajar Benmoussa; Adel Bouhoula; Anas Abou El Kalam (CISIS-ICEUTE, 2015)

An Ontology Regulating Privacy Oriented Access Controls. - Maherzia Belaazi; Hanene Boussi Rahmouni; Adel Bouhoula (CRiSIS, 2015)

Automated and Optimized FDD-Based Method to Fix Firewall Misconfigurations. - Amina Saadaoui; Nihel Ben Youssef Ben Souayeh; Adel Bouhoula (NCA, 2015)

Integrity-OrBAC: a new model to preserve Critical Infrastructures integrity. - Abdeljebar Ameziane El Hassani; Anas Abou El Kalam; Adel Bouhoula; Ryma Abassi; Abdellah Ait Ouahman (Int. J. Inf. Sec., 2015)

Special issue on symbolic computation in software science. - Adel Bouhoula; Bruno Buchberger; Laura Kovács; Temur Kutsia (J. Symb. Comput., 2015)

Risk management for spam over IP telephony using optimal countermeasure. - Randa Jabeur Ben Chikha; Tarek Abbes; Adel Bouhoula (ICDEc, 2016)

Risk Management for Spam over IP Telephony using Combined Countermeasures. - Randa Jabeur Ben Chikha; Tarek Abbes; Adel Bouhoula (INFOS, 2016)

On Assisted Packet Filter Conflicts Resolution: An Iterative Relaxed Approach. - Anis Yazidi; Adel Bouhoula (LCN, 2016)

A Novel Incremental Covariance-Guided One-Class Support Vector Machine. - Takoua Kefi; Riadh Ksantini; Mohamed Bécha Kaâniche; Adel Bouhoula (ECML/PKDD (2), 2016)

An Accurate FDD-Based Approach for Discovering Distributed Firewalls Misconfigurations. - Amina Saadaoui; Nihel Ben Youssef Ben Souayeh; Adel Bouhoula (Trustcom/BigDataSE/ISPA, 2016)

Incremental One-Class Models for Data Classification. - Takoua Kefi; Riadh Ksantini; Mohamed Bécha Kaâniche; Adel Bouhoula (CoRR, 2016)

Detection of firewall configuration errors with updatable tree. - Tarek Abbes; Adel Bouhoula; Michaël Rusinowitch (Int. J. Inf. Sec., 2016)

Behavior-based approach to detect spam over IP telephony attacks. - Randa Jabeur Ben Chikha; Tarek Abbes; Wassim Ben Chikha; Adel Bouhoula (Int. J. Inf. Sec., 2016)

Advanced Techniques for Deploying Reliable and Efficient Access Control: Application to E-healthcare. - Faouzi Jaïdi; Faten Labbene Ayachi; Adel Bouhoula (J. Medical Syst., 2016)

Detection of Covert Channels Over ICMP Protocol. - Sirine Sayadi; Tarek Abbes; Adel Bouhoula (AICCSA, 2017)

A New FDD-Based Method for Distributed Firewall Misconfigurations Resolution. - Amina Saâdaoui; Nihel Ben Youssef Ben Souayeh; Adel Bouhoula (EMCIS, 2017)

Towards a Reliable Formal Framework for Enhancing Risk Assessment in Access Control Systems. - Pierrette Annie Evina; Faten Labbene Ayachi; Faouzi Jaïdi; Adel Bouhoula (SCSS, 2017)

A Comprehensive Formal Solution for Access Control Policies Management: Defect Detection, Analysis and Risk Assessment. - Faouzi Jaïdi; Faten Labbene Ayachi; Adel Bouhoula (SCSS, 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)

Anomalies Correlation for Risk-Aware Access Control Enhancement. - Pierrette Annie Evina; Faten Labbene Ayachi; Faouzi Jaïdi; Adel Bouhoula (ENASE, 2018)

Automated and Optimized Formal Approach to Verify SDN Access-Control Misconfigurations. - Amina Saâdaoui; Nihel Ben Youssef Ben Souayeh; Adel Bouhoula (TRIDENTCOM, 2018)

A Novel Handwritten Digits Recognition Method based on Subclass Low Variances Guided Support Vector Machine. - Soumaya Nheri; Riadh Ksantini; Mouhamed Bécha Kaâniche; Adel Bouhoula (VISIGRAPP (4: VISAPP), 2018)

A Methodology and Toolkit for Deploying Reliable Security Policies in Critical Infrastructures. - Faouzi Jaïdi; Faten Labbene Ayachi; Adel Bouhoula (Secur. Commun. Networks, 2018)

Enforcing a Risk Assessment Approach in Access Control Policies Management: Analysis, Correlation Study and Model Enhancement. - Pierrette Annie Evina; Faten Labbene Ayachi; Faouzi Jaïdi; Adel Bouhoula (IWCMC, 2019)

Poster : Minimizing range rules for packet filtering using a double mask representation. - Ahmad Abboud; Abdelkader Lahmadi; Michaël Rusinowitch; Miguel Couceiro; Adel Bouhoula (Networking, 2019)

Anomaly-based Intrusion Detection Using Auto-encoder. - Yves Nsoga Nguimbous; Riadh Ksantini; Adel Bouhoula (SoftCOM, 2019)

Deep and Automated SDN Data Plane Analysis. - Wejdene Saied; Nihel Ben Youssef Ben Souayeh; Amina Saadaoui; Adel Bouhoula (SoftCOM, 2019)

A Novel Multispectral Lab-depth based Edge Detector for Color Images with Occluded Objects. - Safa Mefteh; Mohamed Bécha Kaâniche; Riadh Ksantini; Adel Bouhoula (VISIGRAPP (4: VISAPP), 2019)

A novel incremental one-class support vector machine based on low variance direction. - Takoua Kefi-Fatteh; Riadh Ksantini; Mohamed Bécha Kaâniche; Adel Bouhoula (Pattern Recognit., 2019)

Human face detection improvement using incremental learning based on low variance directions. - Takoua Kefi-Fatteh; Riadh Ksantini; Mohamed Bécha Kaâniche; Adel Bouhoula (Signal Image Video Process., 2019)

R2-D2: Filter Rule set Decomposition and Distribution in Software Defined Networks. - Ahmad Abboud; Rémi Garcia 001; Abdelkader Lahmadi; Michaël Rusinowitch; Adel Bouhoula (CNSM, 2020)

A Formal Approach for Automatic Detection and Correction of SDN Switch Misconfigurations. - Wejdene Saied; Adel Bouhoula (CNSM, 2020)

A Comprehensive Solution for the Analysis, Validation and Optimization of SDN Data-Plane Configurations. - Wejdene Saied; Faouzi Jaïdi; Adel Bouhoula (CNSM, 2020)

A Comprehensive Quantified Approach for Security Risk Management in e-Health Systems. - Sondes Ksibi; Faouzi Jaïdi; Adel Bouhoula (ICETE (2), 2020)

Double Mask: An Efficient Rule Encoding for Software Defined Networking. - Ahmad Abboud; Abdelkader Lahmadi; Michaël Rusinowitch; Miguel Couceiro; Adel Bouhoula; Mondher Avadi (ICIN, 2020)

Enforcing Risk-Awareness in Access Control Systems: Synthesis, Discussion and Guidelines. - Pierrette Annie Evina; Faouzi Jaïdi; Faten Labbene Ayachi; Adel Bouhoula (IWCMC, 2020)

Net Auto-Solver: A formal approach for automatic resolution of OpenFlow anomalies. - Ramtin Aryan; Anis Yazidi; Adel Bouhoula; Paal Einar Engelstad (LCN, 2020)

Efficient Distribution of Security Policy Filtering Rules in Software Defined Networks. - Ahmad Abboud; Rémi Garcia 001; Abdelkader Lahmadi; Michaël Rusinowitch; Adel Bouhoula (NCA, 2020)

A Low Inertia Guided Auto-Encoder for Anomaly Detection in Networks. - Yves Nsoga Nguimbous; Riadh Ksantini; Adel Bouhoula (SoftCOM, 2020)

A Novel Dispersion Covariance-guided One-Class Support Vector Machines. - Soumaya Nheri; Riadh Ksantini; Mohamed Bécha Kaâniche; Adel Bouhoula (VISIGRAPP (4: VISAPP), 2020)

Advanced analysis of the integrity of access control policies: the specific case of databases. - Faouzi Jaïdi; Faten Ayachi; Adel Bouhoula (Int. Arab J. Inf. Technol., 2020)

A Novel Face Detection Framework Based on Incremental Learning and Low Variance Directions. - Mohamed Khalil Ben Salah; Takoua Kefi-Fatteh; Adel Bouhoula (ADMA, 2021)

A Systematic Approach for IoT Cyber-Attacks Detection in Smart Cities Using Machine Learning Techniques. - Mehdi Houichi; Faouzi Jaïdi; Adel Bouhoula (AINA (2), 2021)

Attacks Scenarios in a Correlated Anomalies Context: Case of Medical System Database Application. - Pierrette Annie Evina; Faouzi Jaïdi; Faten Labbene Ayachi; Adel Bouhoula (ENASE, 2021)

Cyber-Risk Management within IoMT: a Context-aware Agent-based Framework for a Reliable e-Health System. - Sondes Ksibi; Faouzi Jaïdi; Adel Bouhoula (iiWAS, 2021)

Automatically Distributing and Updating In-Network Management Rules for Software Defined Networks. - Ahmad Abboud; Rémi Garcia 001; Abdelkader Lahmadi; Michaël Rusinowitch; Adel Bouhoula; Mondher Ayadi (NOMS, 2022)

Analysis of Smart Cities Security: Challenges and Advancements. - Mehdi Houichi; Faouzi Jaïdi; Adel Bouhoula (SIN, 2022)

A User-Centric Fuzzy AHP-based Method for Medical Devices Security Assessment. - Sondes Ksibi; Faouzi Jaïdi; Adel Bouhoula (SIN, 2022)

Artificial Intelligence for SDN Security: Analysis, Challenges and Approach Proposal. - Amina Sahbi; Faouzi Jaïdi; Adel Bouhoula (SIN, 2022)

Optimization of parallel firewalls filtering rules. - Taha Elamine Hadjadj; Adel Bouhoula; Rim Tebourbi; Riadh Ksantini (Int. J. Inf. Sec., 2022)

Learning Human Postures Using Lab-Depth HOG Descriptors. - Safa Mefteh; Mohamed Bécha Kaâniche; Riadh Ksantini; Adel Bouhoula (ICCCI, 2023)

A Comprehensive Study of Intrusion Detection within Internet of Things-based Smart Cities: Synthesis, Analysis and a Novel Approach. - Mehdi Houichi; Faouzi Jaïdi; Adel Bouhoula (IWCMC, 2023)

IoMT Security Model based on Machine Learning and Risk Assessment Techniques. - Sondes Ksibi; Faouzi Jaïdi; Adel Bouhoula (IWCMC, 2023)

Machine Learning Algorithms for Enhancing Intrusion Detection Within SDN/NFV. - Amina Sahbi; Faouzi Jaïdi; Adel Bouhoula (IWCMC, 2023)

Towards a Reliable and Smart Approach for Detecting and Resolving Security Violations within SDWN. - Amina Sahbi; Faouzi Jaïdi; Adel Bouhoula (IWCMC, 2023)

Exploiting scatter matrix on one-class support vector machine based on low variance direction. - Soumaya Nheri; Riadh Ksantini; Mohamed Bécha Kaâniche; Adel Bouhoula (Intell. Data Anal., 2023)

A novel multispectral corner detector and a new local descriptor: an application to human posture recognition. - Safa Mefteh; Mohamed Bécha Kaâniche; Riadh Ksantini; Adel Bouhoula (Multim. Tools Appl., 2023)

A Comprehensive Study of Security and Cyber-Security Risk Management within e-Health Systems: Synthesis, Analysis and a Novel Quantified Approach. - Sondes Ksibi; Faouzi Jaïdi; Adel Bouhoula (Mob. Networks Appl., 2023)

Preface. - Adel Bouhoula; Bruno Buchberger; Tetsuo Ida; Temur Kutsia (Ann. Math. Artif. Intell., 2023)

Correction to: Preface. - Adel Bouhoula; Bruno Buchberger; Tetsuo Ida; Temur Kutsia (Ann. Math. Artif. Intell., 2023)

Primal Grammars Driven Automated Induction. - Adel Bouhoula; Miki Hermann (IJCAI, 2024)

A Novel Framework for Attack Detection and Localization in Smart Cities. - Mehdi Houichi; Faouzi Jaïdi; Adel Bouhoula (SIN, 2024)

Securing IoMT Applications: A n Approach for Enhancing the Reliability of Security Policies within Cloud Databases. - Sondes Ksibi; Faouzi Jaïdi; Adel Bouhoula (J. Inf. Sci. Eng., 2024)

MLRA-Sec: an adaptive and intelligent cyber-security-assessment model for internet of medical things (IoMT). - Sondes Ksibi; Faouzi Jaïdi; Adel Bouhoula (Int. J. Inf. Sec., 2025)

A formal technique for automatic resolution of OpenFlow anomalies. - Ramtin Aryan; Anis Yazidi; Adel Bouhoula; Paal E. Engelstad (Int. J. Inf. Sec., 2025)