| 2026 | SECRYPT | Enhanced Cyber Threat Severity Prediction Leveraging CVSS and BERT-Based Language Models. | Mohamed El Amine Bekhouche, Kamel Adi |
| 2026 | SECRYPT | Preserving Membership Privacy via Risk Score Guided Knowledge Distillation. | Radia Kassa, Kamel Adi, Abdelkamel Tari |
| 2025 | CRiSIS | Strategic Detection of APTs Through Federated Spatio-Temporal Graph Learning and Stackelberg Defense. | Myria Bouhaddi, Kamel Adi |
| 2025 | CRiSIS | Adaptive Noise Injection Guided by Feature Importance for Membership Privacy in MLaaS. | Radia Kassa, Kamel Adi, Abdelkamel Tari |
| 2025 | CRiSIS | Improving Hyperledger Indy With Post-quantum and Optimal Credential Attributes Selection Agents. | Pierre Fobougong Saha, Nancy Badran, Mohamed Mejri, Kamel Adi |
| 2025 | CRiSIS | Adversarial Ensemble Framework: Leveraging GANs for Robust Intrusion Detection in IoT Networks. | Abdoul Faycal Zoungrana, Hajar Moudoud, Etienne Gael Tajeuna, Kamel Adi |
| 2025 | SECRYPT | Hierarchical Colored Petri Nets for Vulnerability Detection in Software Architectures. | Maya Benabdelhafid, Kamel Adi, Omer Landry Nguena-Timo, Luigi Logrippo |
| 2025 | SECRYPT | Robust Peer-to-Peer Machine Learning Against Poisoning Attacks. | Myria Bouhaddi, Kamel Adi |
| 2025 | SECRYPT | Optimal Noise Injection on Training Data: A Defense Against Membership Inference Attacks. | Radia Kassa, Kamel Adi, Myria Bouhaddi |
| 2024 | CRiSIS | Detecting Information Disclosure Vulnerability in Software Architectures Using Alloy. | Quentin Rouland, Kamel Adi, Omer Nguena Timo, Luigi Logrippo |
| 2024 | SECRYPT | Enhancing Privacy in Machine Learning: A Robust Approach for Preventing Attribute Inference Attacks. | Myria Bouhaddi, Kamel Adi |
| 2024 | SECRYPT | Toward the Foundation of Digital Identity Theory. | Pierre Fobougong Saha, Mohamed Mejri, Kamel Adi |
| 2023 | ISNCC | Secure Electric Vehicle Dynamic Charging Based on Smart Contracts. | Karima Massmi, Khaled Hamouid, Kamel Adi |
| 2023 | SECRYPT | Multi-Environment Training Against Reward Poisoning Attacks on Deep Reinforcement Learning. | Myria Bouhaddi, Kamel Adi |
| 2020 | ISNCC | Privacy-aware Authentication Scheme for Electric Vehicle In-motion Wireless Charging. | Khaled Hamouid, Kamel Adi |
| 2016 | SIN | Evolutionary Game-Based Defense Mechanism in the MANETs. | Myria Bouhaddi, Kamel Adi, Mohammed Said Radjef |
| 2013 | SIN | Designing flexible access control models for the cloud. | Salim Khamadja, Kamel Adi, Luigi Logrippo |
| 2013 | SIN | An access control framework for hybrid policies. | Salim Khamadja, Kamel Adi, Luigi Logrippo |
| 2012 | SEC | A Framework for Threat Assessment in Access Control Systems. | Hemanth Khambhammettu, Sofiene Boulares, Kamel Adi, Luigi Logrippo |
| 2011 | PST | Risk-based decision method for access control systems. | Riaz Ahmed Shaikh, Kamel Adi, Luigi Logrippo, Serge Mankovski |
| 2010 | PST | Risk analysis in access control systems. | Ji Ma, Kamel Adi, Mohamed Mejri, Luigi Logrippo |
| 2010 | SECRYPT | Rewriting-based Security Enforcement of Concurrent Systems - A Formal Approach. | Mahjoub Langar, Mohamed Mejri, Kamel Adi |
| 2009 | DBSEC | Using Edit Automata for Rewriting-Based Security Enforcement. | Hakima Ould-Slimane, Mohamed Mejri, Kamel Adi |
| 2009 | ISCC | Robust Key Management scheme for certification in mobile ad-hoc networks. | Khaled Hamouid, Kamel Adi |
| 2009 | SoMeT | Formal Specification and Analysis of Firewalls. | Mohamed Mejri, Kamel Adi, Hamido Fujita |
| 2008 | SECRYPT | Honeyd Detection Via Abnormal Behaviors Generated by the ARPD Daemon. | Ammar Boulaiche, Kamel Adi |
| 2008 | SoMeT | Formal Reasoning for Security Protocol Correctness. | Kamel Adi, Liviu Pene |
| 2007 | SoMeT | Formal Technique for Discovering Complex Attacks in Computer Systems. | Lamia Hamza, Kamel Adi |
| 2006 | SoMeT | Enforcing Security Policies on Programs. | Hakima Ould-Slimane, Mohamed Mejri, Kamel Adi |
| 2006 | SoMeT | A Calculus for Distributed Firewall Specification and Verification. | Liviu Pene, Kamel Adi |