| 2026 | IWCMC | Privacy-Preserving Edge Intelligence for AI-Driven Federated Cyber Threat Detection in Smart Cities. | Mehdi Houichi, Faouzi Jadi, Adel Bouhoula |
| 2026 | IWCMC | Extreme Value Theory-Based Rare Event Detection for Smart City Network Security. | Mehdi Houichi, Faouzi Jadi, Adel Bouhoula |
| 2024 | IJCAI | Primal Grammars Driven Automated Induction. | Adel Bouhoula, Miki Hermann |
| 2024 | SIN | A Novel Framework for Attack Detection and Localization in Smart Cities. | Mehdi Houichi, Faouzi Jadi, Adel Bouhoula |
| 2023 | ICCCI | Learning Human Postures Using Lab-Depth HOG Descriptors. | Safa Mefteh, Mohamed Bcha Kaniche, Riadh Ksantini, Adel Bouhoula |
| 2023 | IWCMC | A Comprehensive Study of Intrusion Detection within Internet of Things-based Smart Cities: Synthesis, Analysis and a Novel Approach. | Mehdi Houichi, Faouzi Jadi, Adel Bouhoula |
| 2023 | IWCMC | IoMT Security Model based on Machine Learning and Risk Assessment Techniques. | Sondes Ksibi, Faouzi Jadi, Adel Bouhoula |
| 2023 | IWCMC | Machine Learning Algorithms for Enhancing Intrusion Detection Within SDN/NFV. | Amina Sahbi, Faouzi Jadi, Adel Bouhoula |
| 2023 | IWCMC | Towards a Reliable and Smart Approach for Detecting and Resolving Security Violations within SDWN. | Amina Sahbi, Faouzi Jadi, Adel Bouhoula |
| 2022 | NOMS | Automatically Distributing and Updating In-Network Management Rules for Software Defined Networks. | Ahmad Abboud, Rmi Garcia, Abdelkader Lahmadi, Michal Rusinowitch, Adel Bouhoula, Mondher Ayadi |
| 2022 | SIN | Analysis of Smart Cities Security: Challenges and Advancements. | Mehdi Houichi, Faouzi Jadi, Adel Bouhoula |
| 2022 | SIN | A User-Centric Fuzzy AHP-based Method for Medical Devices Security Assessment. | Sondes Ksibi, Faouzi Jadi, Adel Bouhoula |
| 2022 | SIN | Artificial Intelligence for SDN Security: Analysis, Challenges and Approach Proposal. | Amina Sahbi, Faouzi Jadi, Adel Bouhoula |
| 2021 | ADMA | A Novel Face Detection Framework Based on Incremental Learning and Low Variance Directions. | Mohamed Khalil Ben Salah, Takoua Kefi-Fatteh, Adel Bouhoula |
| 2021 | AINA | A Systematic Approach for IoT Cyber-Attacks Detection in Smart Cities Using Machine Learning Techniques. | Mehdi Houichi, Faouzi Jadi, Adel Bouhoula |
| 2021 | ENASE | Attacks Scenarios in a Correlated Anomalies Context: Case of Medical System Database Application. | Pierrette Annie Evina, Faouzi Jadi, Faten Labbene Ayachi, Adel Bouhoula |
| 2021 | IIWAS | Cyber-Risk Management within IoMT: a Context-aware Agent-based Framework for a Reliable e-Health System. | Sondes Ksibi, Faouzi Jadi, Adel Bouhoula |
| 2020 | CNSM | R2-D2: Filter Rule set Decomposition and Distribution in Software Defined Networks. | Ahmad Abboud, Rmi Garcia, Abdelkader Lahmadi, Michal Rusinowitch, Adel Bouhoula |
| 2020 | CNSM | A Formal Approach for Automatic Detection and Correction of SDN Switch Misconfigurations. | Wejdene Saied, Adel Bouhoula |
| 2020 | CNSM | A Comprehensive Solution for the Analysis, Validation and Optimization of SDN Data-Plane Configurations. | Wejdene Saied, Faouzi Jadi, Adel Bouhoula |
| 2020 | ICIN | Double Mask: An Efficient Rule Encoding for Software Defined Networking. | Ahmad Abboud, Abdelkader Lahmadi, Michal Rusinowitch, Miguel Couceiro, Adel Bouhoula, Mondher Avadi |
| 2020 | IWCMC | Enforcing Risk-Awareness in Access Control Systems: Synthesis, Discussion and Guidelines. | Pierrette Annie Evina, Faouzi Jadi, Faten Labbene Ayachi, Adel Bouhoula |
| 2020 | LCN | Net Auto-Solver: A formal approach for automatic resolution of OpenFlow anomalies. | Ramtin Aryan, Anis Yazidi, Adel Bouhoula, Paal Einar Engelstad |
| 2020 | NCA | Efficient Distribution of Security Policy Filtering Rules in Software Defined Networks. | Ahmad Abboud, Rmi Garcia, Abdelkader Lahmadi, Michal Rusinowitch, Adel Bouhoula |
| 2020 | SOFTCOM | A Low Inertia Guided Auto-Encoder for Anomaly Detection in Networks. | Yves Nsoga Nguimbous, Riadh Ksantini, Adel Bouhoula |
| 2019 | IWCMC | Enforcing a Risk Assessment Approach in Access Control Policies Management: Analysis, Correlation Study and Model Enhancement. | Pierrette Annie Evina, Faten Labbene Ayachi, Faouzi Jadi, Adel Bouhoula |
| 2019 | Networking | Poster : Minimizing range rules for packet filtering using a double mask representation. | Ahmad Abboud, Abdelkader Lahmadi, Michal Rusinowitch, Miguel Couceiro, Adel Bouhoula |
| 2019 | SOFTCOM | Optimization of Parallel Firewalls Filtering Rules. | Taha Elamine Hadjadj, Rim Tebourbi, Adel Bouhoula, Riadh Ksantini |
| 2019 | SOFTCOM | Anomaly-based Intrusion Detection Using Auto-encoder. | Yves Nsoga Nguimbous, Riadh Ksantini, Adel Bouhoula |
| 2019 | SOFTCOM | Deep and Automated SDN Data Plane Analysis. | Wejdene Saied, Nihel Ben Youssef Ben Souayeh, Amina Saadaoui, Adel Bouhoula |
| 2018 | ENASE | Anomalies Correlation for Risk-Aware Access Control Enhancement. | Pierrette Annie Evina, Faten Labbene Ayachi, Faouzi Jadi, Adel Bouhoula |
| 2018 | TridentCom | Automated and Optimized Formal Approach to Verify SDN Access-Control Misconfigurations. | Amina Sadaoui, Nihel Ben Youssef Ben Souayeh, Adel Bouhoula |
| 2017 | ACIVS | Human Face Detection Improvement Using Incremental Learning Based on Low Variance Directions. | Takoua Kefi, Riadh Ksantini, Mohamed Bcha Kaniche, Adel Bouhoula |
| 2017 | AICCSA | Detection of Covert Channels Over ICMP Protocol. | Sirine Sayadi, Tarek Abbes, Adel Bouhoula |
| 2016 | LCN | On Assisted Packet Filter Conflicts Resolution: An Iterative Relaxed Approach. | Anis Yazidi, Adel Bouhoula |
| 2016 | TrustCom | An Accurate FDD-Based Approach for Discovering Distributed Firewalls Misconfigurations. | Amina Saadaoui, Nihel Ben Youssef Ben Souayeh, Adel Bouhoula |
| 2015 | CRiSIS | An Ontology Regulating Privacy Oriented Access Controls. | Maherzia Belaazi, Hanene Boussi Rahmouni, Adel Bouhoula |
| 2015 | NCA | Automated and Optimized FDD-Based Method to Fix Firewall Misconfigurations. | Amina Saadaoui, Nihel Ben Youssef Ben Souayeh, Adel Bouhoula |
| 2014 | RCIS | Formal approach for managing firewall misconfigurations. | Amina Saadaoui, Nihel Ben Youssef Ben Souayeh, Adel Bouhoula |
| 2014 | SEC | Behavior Analysis of Web Service Attacks. | Abdallah Ghourabi, Tarek Abbes, Adel Bouhoula |
| 2014 | SECRYPT | Towards a Legislation Driven Framework for Access Control and Privacy Protection in Public Cloud. | Maherzia Belaazi, Hanene Boussi Rahmouni, Adel Bouhoula |
| 2013 | SOFTCOM | A SPIT detection algorithm based on user's call behavior. | Randa Jabeur Ben Chikha, Tarek Abbes, Adel Bouhoula |
| 2012 | TrustCom | Towards Safe and Optimal Network Designs Based on Network Security Requirements. | Nihel Ben Youssef Ben Souayeh, Adel Bouhoula |
| 2011 | HPSR | NAF conversion: An efficient solution for the range matching problem in packet filters. | Nizar Ben Neji, Adel Bouhoula |
| 2011 | LCN | Enabling flexible packet filtering through the K-map priority elimination technique. | Nizar Ben Neji, Adel Bouhoula, Masato Kimura |
| 2011 | NSS | Towards safe and optimal filtering rule reordering for complex packet filters. | Nizar Ben Neji, Adel Bouhoula |
| 2011 | SOFTCOM | Design and implementation of Web service honeypot. | Abdallah Ghourabi, Tarek Abbes, Adel Bouhoula |
| 2010 | AICCSA | Data analyzer based on data mining for Honeypot Router. | Abdallah Ghourabi, Tarek Abbes, Adel Bouhoula |
| 2010 | DBSEC | An Access Control Model for Web Databases. | Ahlem Bouchahda-Ben Tekaya, Nhan Le Thanh, Adel Bouhoula, Faten Labbene Ayachi |
| 2010 | IIWAS | Experimental analysis of attacks against web services and countermeasures. | Abdallah Ghourabi, Tarek Abbes, Adel Bouhoula |
| 2009 | CRiSIS | Honeypot router for routing protocols protection. | Abdallah Ghourabi, Tarek Abbes, Adel Bouhoula |
| 2009 | ISCC | Automatic verification of conformance of firewall configurations to security policies. | Nihel Ben Youssef, Adel Bouhoula, Florent Jacquemard |
| 2009 | TrustBus | An Extended Role-Based Access Control Model for Delegating Obligations. | Meriam Ben-Ghorbel-Talbi, Frdric Cuppens, Nora Cuppens-Boulahia, Adel Bouhoula |
| 2008 | CADE | Automated Induction with Constrained Tree Automata. | Adel Bouhoula, Florent Jacquemard |
| 2008 | ICICS | Revocation Schemes for Delegation Licences. | Meriam Ben-Ghorbel-Talbi, Frdric Cuppens, Nora Cuppens-Boulahia, Adel Bouhoula |
| 2008 | ICICS | Specification of Electronic Voting Protocol Properties Using ADM Logic: FOO Case Study. | Mehdi Talbi, Benjamin Morin, Valrie Viet Triem Tong, Adel Bouhoula, Mohamed Mejri |
| 2008 | LCN | Self-adjusting scheme for high speed routers. | Nizar Ben Neji, Adel Bouhoula |
| 2008 | SAC | An inference system for detecting firewall filtering rules anomalies. | Tarek Abbes, Adel Bouhoula, Michal Rusinowitch |
| 2007 | AINA | A Traffic Classification Algorithm for Intrusion Detection. | Tarek Abbes, Adel Bouhoula, Michal Rusinowitch |
| 2007 | AINA | A Stateful Real Time Intrusion Detection System for high-speed network. | Sourour Meharouech, Adel Bouhoula, Tarek Abbes |
| 2007 | ISCC | Tuple Based Approach for Anomalies Detection within Firewall Filtering Rules. | Mohammed Anis Benelbahri, Adel Bouhoula |
| 1998 | FASE | Observational Proofs with Critical Contexts. | Narjes Berregeb, Adel Bouhoula, Michal Rusinowitch |
| 1997 | LICS | Automata-Driven Automated Induction. | Adel Bouhoula, Jean-Pierre Jouannaud |
| 1996 | CAV | Automated Verification by Induction with Associative-Commutative Operators. | Narjes Berregeb, Adel Bouhoula, Michal Rusinowitch |
| 1996 | PRICAI | General Framework for Mechanizing Induction using Test Set. | Adel Bouhoula |
| 1994 | CADE | SPIKE: a System for Sufficient Completeness and Parameterized Inductive Proofs. | Adel Bouhoula |
| 1993 | IJCAI | Automatic Case Analysis in Proof by Induction. | Adel Bouhoula, Michal Rusinowitch |
| 1992 | LPAR | SPIKE, an Automatic Theorem Prover. | Adel Bouhoula, Emmanuel Kounalis, Michal Rusinowitch |