Resolution of Goals with the Functional and Logic Programming Language LPG: Impact of Abstract Interpretation. - Didier Bert; Rachid Echahed; Kamel Adi (AMAST, 1996)

Abstract interpretation for proving secrecy properties in security protocols. - Kamel Adi; Mourad Debbabi (LACPV@CAV, 2001)

A new logic for electronic commerce protocols. - Kamel Adi; Mourad Debbabi; Mohamed Mejri (Theor. Comput. Sci., 2003)

Secrecy Correctness for Security Protocols. - Kamel Adi; Liviu Pene (DFMA, 2005)

Automatic generation of attack scenarios for intrusion detection systems. - Lamia Hamza; Kamel Adi; Karim El Guemhioui (AICT/ICIW, 2006)

Enforcing Security Policies on Programs. - Hakima Ould-Slimane; Mohamed Mejri; Kamel Adi (SoMeT, 2006)

A Calculus for Distributed Firewall Specification and Verification. - Liviu Pene; Kamel Adi (SoMeT, 2006)

Foreword - New technologies in distributed systems. - Kamel Adi; Daniel Amyot; Luigi Logrippo (Ann. des Télécommunications, 2006)

A Formal Approach for Security Policy Enforcement in Concurrent Programs. - Mahjoub Langar; Mohamed Mejri; Kamel Adi (Security and Management, 2007)

Formal Technique for Discovering Complex Attacks in Computer Systems. - Lamia Hamza; Kamel Adi (SoMeT, 2007)

Honeyd Detection Via Abnormal Behaviors Generated by the ARPD Daemon. - Ammar Boulaiche; Kamel Adi (SECRYPT, 2008)

Formal Reasoning for Security Protocol Correctness. - Kamel Adi; Liviu Pene (SoMeT, 2008)

Using Edit Automata for Rewriting-Based Security Enforcement. - Hakima Ould-Slimane; Mohamed Mejri; Kamel Adi (DBSec, 2009)

Temporalised Epistemic Logic for Reasoning about Agent-Based Systems. - Ji Ma 001; Mehmet A. Orgun; Abdul Sattar 001; Kamel Adi (Web Intelligence/IAT Workshops, 2009)

Robust Key Management scheme for certification in mobile ad-hoc networks. - Khaled Hamouid; Kamel Adi (ISCC, 2009)

Typing for Conflict Detection in Access Control Policies. - Kamel Adi; Yacine Bouzida; Ikhlass Hattak; Luigi Logrippo; Serge Mankovski (MCETECH, 2009)

Formal Specification and Analysis of Firewalls. - Mohamed Mejri; Kamel Adi; Hamido Fujita (SoMeT, 2009)

Inconsistency detection method for access control policies. - Riaz Ahmed Shaikh 001; Kamel Adi; Luigi Logrippo; Serge Mankovski (IAS, 2010)

Secrecy UML Method for Model Transformations. - Waël Hassan; Nadera Slimani; Kamel Adi; Luigi Logrippo (ASM, 2010)

Toward an Algebraic Framework for Security Policy Enforcement in Concurrent Systems. - Mahjoub Langar; Mohamed Mejri; Kamel Adi (Security and Management, 2010)

Risk Analysis in Access Control Systems Based on Trust Theories. - Ji Ma; Luigi Logrippo; Kamel Adi; Serge Mankovski (Web Intelligence/IAT Workshops, 2010)

Risk management in dynamic role based access control systems. - Ji Ma; Kamel Adi; Luigi Logrippo; Serge Mankovski (ICDIM, 2010)

Detecting incompleteness in access control policies using data classification schemes. - Riaz Ahmed Shaikh 001; Kamel Adi; Luigi Logrippo; Serge Mankovski (ICDIM, 2010)

Risk analysis in access control systems. - Ji Ma; Kamel Adi; Mohamed Mejri; Luigi Logrippo (PST, 2010)

Rewriting-based Security Enforcement of Concurrent Systems - A Formal Approach. - Mahjoub Langar; Mohamed Mejri; Kamel Adi (SECRYPT, 2010)

Games for non-repudiation protocol correctness. - Kamel Adi; Liviu Pene; L. Sullivan (Int. J. Wirel. Mob. Comput., 2010)

Secure and robust threshold key management (SRKM) scheme for ad hoc networks. - Khaled Hamouid; Kamel Adi (Secur. Commun. Networks, 2010)

UACML: Unified Access Control Modeling Language. - Nadera Slimani; Hemanth Khambhammettu; Kamel Adi; Luigi Logrippo (NTMS, 2011)

Risk-based decision method for access control systems. - Riaz Ahmed Shaikh 001; Kamel Adi; Luigi Logrippo; Serge Mankovski (PST, 2011)

An analytic tableau calculus for a temporalised belief logic. - Ji Ma 001; Mehmet A. Orgun; Kamel Adi (J. Appl. Log., 2011)

Formal enforcement of security policies on concurrent systems. - Mahjoub Langar; Mohamed Mejri; Kamel Adi (J. Symb. Comput., 2011)

CatBAC: A generic framework for designing and validating hybrid access control models. - Bernard Stepien; Hemanth Khambhammettu; Kamel Adi; Luigi Logrippo (ICC, 2012)

Self-Certified Based Trust Establishment Scheme in Ad-Hoc Networks. - Khaled Hamouid; Kamel Adi (NTMS, 2012)

A Framework for Threat Assessment in Access Control Systems. - Hemanth Khambhammettu; Sofiene Boulares; Kamel Adi; Luigi Logrippo (SEC, 2012)

Dynamic risk-based decision methods for access control systems. - Riaz Ahmed Shaikh 001; Kamel Adi; Luigi Logrippo (Comput. Secur., 2012)

A Quantitative Approach for Intrusions Detection and Prevention based on Statistical N-Gram Models. - Ammar Boulaiche; Hatem Bouzayani; Kamel Adi (ANT/MobiWIS, 2012)

Designing flexible access control models for the cloud. - Salim Khamadja; Kamel Adi; Luigi Logrippo (SIN, 2013)

An access control framework for hybrid policies. - Salim Khamadja; Kamel Adi; Luigi Logrippo (SIN, 2013)

A framework for risk assessment in access control systems. - Hemanth Khambhammettu; Sofiene Boulares; Kamel Adi; Luigi Logrippo (Comput. Secur., 2013)

A Game Approach for an Efficient Intrusion Detection System in Mobile Ad Hoc Networks. - Myria Bouhaddi; Mohammed Said Radjef; Kamel Adi (FPS, 2014)

Information Flow-Based Security Levels Assessment for Access Control Systems. - Sofiene Boulares; Kamel Adi; Luigi Logrippo (MCETECH, 2015)

Efficient certificateless web-of-trust model for public-key authentication in MANET. - Khaled Hamouid; Kamel Adi (Comput. Commun., 2015)

Insider Threat Likelihood Assessment for Access Control Systems: Quantitative Approach. - Sofiene Boulares; Kamel Adi; Luigi Logrippo (FPS, 2016)

Evolutionary Game-Based Defense Mechanism in the MANETs. - Myria Bouhaddi; Kamel Adi; Mohammed Said Radjef (SIN, 2016)

Insider Threat Likelihood Assessment for Flexible Access Control. - Sofiene Boulares; Kamel Adi; Luigi Logrippo (MCETECH, 2017)

Compliance Verification Algorithm for Computer Systems Security Policies. - Liviu Pene; Lamia Hamza; Kamel Adi (MCETECH, 2017)

A Supervised Approach for Spam Detection Using Text-Based Semantic Representation. - Nadjate Saidani; Kamel Adi; Mouhand Saïd Allili (MCETECH, 2017)

A Data Classification Method for Inconsistency and Incompleteness Detection in Access Control Policy Sets. - Riaz Ahmed Shaikh 001; Kamel Adi; Luigi Logrippo (Int. J. Inf. Sec., 2017)

Automatic security policy enforcement in computer systems. - Kamel Adi; Lamia Hamza; Liviu Pene (Comput. Secur., 2018)

An efficient intrusion detection in resource-constrained mobile ad-hoc networks. - Myria Bouhaddi; Mohammed Said Radjef; Kamel Adi (Comput. Secur., 2018)

An auto-learning approach for network intrusion detection. - Ammar Boulaiche; Kamel Adi (Telecommun. Syst., 2018)

Semantic Representation Based on Deep Learning for Spam Detection. - Nadjate Saidani; Kamel Adi; Mohand Saïd Allili (FPS, 2019)

A Rejection-Based Approach for Detecting SQL Injection Vulnerabilities in Web Applications. - Lalia Saoudi; Kamel Adi; Younes Boudraa (FPS, 2019)

Secure and reliable certification management scheme for large-scale MANETs based on a distributed anonymous authority. - Khaled Hamouid; Kamel Adi (Peer-to-Peer Netw. Appl., 2019)

Privacy-aware Authentication Scheme for Electric Vehicle In-motion Wireless Charging. - Khaled Hamouid; Kamel Adi (ISNCC, 2020)

A semantic-based classification approach for an enhanced spam detection. - Nadjate Saidani; Kamel Adi; Mohand Saïd Allili (Comput. Secur., 2020)

Access Pattern Hiding in Searchable Encryption. - Fateh Boucenna; Omar Nouali; Kamel Adi; Samir Kechid (FiCloud, 2021)

A Privacy-Preserving Authentication Model Based on Anonymous Certificates in IoT. - Khaled Hamouid; Mawloud Omar; Kamel Adi (WD, 2021)

POWoT : a Privacy Ontology for the Web of Things. - Yacine Sam; Kamel Adi; Nasredine Cheniki; Noé Breton (WI/IAT, 2022)

Mitigating Membership Inference Attacks in Machine Learning as a Service. - Myria Bouhaddi; Kamel Adi (CSR, 2023)

A BERT-Based Framework for Automated Extraction of Behavioral Indicators of Compromise from Security Incident Reports. - Mohamed El Amine Bekhouche; Kamel Adi (FPS (1), 2023)

Secure Electric Vehicle Dynamic Charging Based on Smart Contracts. - Karima Massmi; Khaled Hamouid; Kamel Adi (ISNCC, 2023)

Multi-Environment Training Against Reward Poisoning Attacks on Deep Reinforcement Learning. - Myria Bouhaddi; Kamel Adi (SECRYPT, 2023)

Detecting Information Disclosure Vulnerability in Software Architectures Using Alloy. - Quentin Rouland; Kamel Adi; Omer Nguena Timo; Luigi Logrippo (CRiSIS, 2024)

When Rewards Deceive: Counteracting Reward Poisoning on Online Deep Reinforcement Learning. - Myria Bouhaddi; Kamel Adi (CSR, 2024)

Advanced Real-Time Detection of Cyber Threat Information from Tweets. - Mohamed El Amine Bekhouche; Kamel Adi (FPS (1), 2024)

Evaluating Large Language Models on Cybersecurity Knowledge and Skills: A Comparative Analysis. - Mohamed El Amine Bekhouche; Myria Bouhaddi; Wahib Larbi; Kamel Adi (FPS (1), 2024)

Toward Automatic Enforcement of Security Patterns in Software Architecture Using Alloy. - Quentin Rouland; Kamel Adi; Omer Nguena Timo; Luigi Logrippo (FPS (1), 2024)

Enhancing Privacy in Machine Learning: A Robust Approach for Preventing Attribute Inference Attacks. - Myria Bouhaddi; Kamel Adi (SECRYPT, 2024)

Toward the Foundation of Digital Identity Theory. - Pierre Fobougong Saha; Mohamed Mejri; Kamel Adi (SECRYPT, 2024)

Hierarchical Colored Petri Nets for Vulnerability Detection in Software Architectures. - Maya Benabdelhafid; Kamel Adi; Omer Landry Nguena-Timo; Luigi Logrippo (SECRYPT, 2025)

Robust Peer-to-Peer Machine Learning Against Poisoning Attacks. - Myria Bouhaddi; Kamel Adi (SECRYPT, 2025)

Optimal Noise Injection on Training Data: A Defense Against Membership Inference Attacks. - Radia Kassa; Kamel Adi; Myria Bouhaddi (SECRYPT, 2025)