Kamel Adi

Publication Activity (10 Years)

Years Active: 1996-2023
Publications (10 Years): 21

Top Topics

Semantic Representation

Top Venues

Publications

Mohamed El Amine Bekhouche, Kamel Adi
A BERT-Based Framework for Automated Extraction of Behavioral Indicators of Compromise from Security Incident Reports. FPS (1) (2023)
Myria Bouhaddi, Kamel Adi
Multi-Environment Training Against Reward Poisoning Attacks on Deep Reinforcement Learning. SECRYPT (2023)
Myria Bouhaddi, Kamel Adi
Mitigating Membership Inference Attacks in Machine Learning as a Service. CSR (2023)
Karima Massmi, Khaled Hamouid, Kamel Adi
Secure Electric Vehicle Dynamic Charging Based on Smart Contracts. ISNCC (2023)
Yacine Sam, Kamel Adi, Nasredine Cheniki, Noé Breton
POWoT : a Privacy Ontology for the Web of Things. WI/IAT (2022)
Khaled Hamouid, Mawloud Omar, Kamel Adi
A Privacy-Preserving Authentication Model Based on Anonymous Certificates in IoT. WD (2021)
Fateh Boucenna, Omar Nouali, Kamel Adi, Samir Kechid
Access Pattern Hiding in Searchable Encryption. FiCloud (2021)
Khaled Hamouid, Kamel Adi
Privacy-aware Authentication Scheme for Electric Vehicle In-motion Wireless Charging. ISNCC (2020)
Nadjate Saidani, Kamel Adi, Mohand Saïd Allili
A semantic-based classification approach for an enhanced spam detection. Comput. Secur. 94 (2020)
Khaled Hamouid, Kamel Adi
Secure and reliable certification management scheme for large-scale MANETs based on a distributed anonymous authority. Peer-to-Peer Netw. Appl. 12 (5) (2019)
Nadjate Saidani, Kamel Adi, Mohand Saïd Allili
Semantic Representation Based on Deep Learning for Spam Detection. FPS (2019)
Lalia Saoudi, Kamel Adi, Younes Boudraa
A Rejection-Based Approach for Detecting SQL Injection Vulnerabilities in Web Applications. FPS (2019)
Ammar Boulaiche, Kamel Adi
An auto-learning approach for network intrusion detection. Telecommun. Syst. 68 (2) (2018)
Kamel Adi, Lamia Hamza, Liviu Pene
Automatic security policy enforcement in computer systems. Comput. Secur. 73 (2018)
Myria Bouhaddi, Mohammed Said Radjef, Kamel Adi
An efficient intrusion detection in resource-constrained mobile ad-hoc networks. Comput. Secur. 76 (2018)
Sofiene Boulares, Kamel Adi, Luigi Logrippo
Insider Threat Likelihood Assessment for Flexible Access Control. MCETECH (2017)
Liviu Pene, Lamia Hamza, Kamel Adi
Compliance Verification Algorithm for Computer Systems Security Policies. MCETECH (2017)
Nadjate Saidani, Kamel Adi, Mouhand Saïd Allili
A Supervised Approach for Spam Detection Using Text-Based Semantic Representation. MCETECH (2017)
Riaz Ahmed Shaikh, Kamel Adi, Luigi Logrippo
A Data Classification Method for Inconsistency and Incompleteness Detection in Access Control Policy Sets. Int. J. Inf. Sec. 16 (1) (2017)
Myria Bouhaddi, Kamel Adi, Mohammed Said Radjef
Evolutionary Game-Based Defense Mechanism in the MANETs. SIN (2016)
Sofiene Boulares, Kamel Adi, Luigi Logrippo
Insider Threat Likelihood Assessment for Access Control Systems: Quantitative Approach. FPS (2016)
Sofiene Boulares, Kamel Adi, Luigi Logrippo
Information Flow-Based Security Levels Assessment for Access Control Systems. MCETECH (2015)
Khaled Hamouid, Kamel Adi
Efficient certificateless web-of-trust model for public-key authentication in MANET. Comput. Commun. 63 (2015)
Myria Bouhaddi, Mohammed Said Radjef, Kamel Adi
A Game Approach for an Efficient Intrusion Detection System in Mobile Ad Hoc Networks. FPS (2014)
Salim Khamadja, Kamel Adi, Luigi Logrippo
Designing flexible access control models for the cloud. SIN (2013)
Salim Khamadja, Kamel Adi, Luigi Logrippo
An access control framework for hybrid policies. SIN (2013)
Hemanth Khambhammettu, Sofiene Boulares, Kamel Adi, Luigi Logrippo
A framework for risk assessment in access control systems. Comput. Secur. 39 (2013)
Khaled Hamouid, Kamel Adi
Self-Certified Based Trust Establishment Scheme in Ad-Hoc Networks. NTMS (2012)
Bernard Stepien, Hemanth Khambhammettu, Kamel Adi, Luigi Logrippo
CatBAC: A generic framework for designing and validating hybrid access control models. ICC (2012)
Ammar Boulaiche, Hatem Bouzayani, Kamel Adi
A Quantitative Approach for Intrusions Detection and Prevention based on Statistical N-Gram Models. ANT/MobiWIS (2012)
Riaz Ahmed Shaikh, Kamel Adi, Luigi Logrippo
Dynamic risk-based decision methods for access control systems. Comput. Secur. 31 (4) (2012)
Hemanth Khambhammettu, Sofiene Boulares, Kamel Adi, Luigi Logrippo
A Framework for Threat Assessment in Access Control Systems. SEC (2012)
Nadera Slimani, Hemanth Khambhammettu, Kamel Adi, Luigi Logrippo
UACML: Unified Access Control Modeling Language. NTMS (2011)
Mahjoub Langar, Mohamed Mejri, Kamel Adi
Formal enforcement of security policies on concurrent systems. J. Symb. Comput. 46 (9) (2011)
Ji Ma, Mehmet A. Orgun, Kamel Adi
An analytic tableau calculus for a temporalised belief logic. J. Appl. Log. 9 (4) (2011)
Riaz Ahmed Shaikh, Kamel Adi, Luigi Logrippo, Serge Mankovski
Risk-based decision method for access control systems. PST (2011)
Riaz Ahmed Shaikh, Kamel Adi, Luigi Logrippo, Serge Mankovski
Inconsistency detection method for access control policies. IAS (2010)
Ji Ma, Luigi Logrippo, Kamel Adi, Serge Mankovski
Risk Analysis in Access Control Systems Based on Trust Theories. Web Intelligence/IAT Workshops (2010)
Kamel Adi, Liviu Pene, L. Sullivan
Games for non-repudiation protocol correctness. Int. J. Wirel. Mob. Comput. 4 (4) (2010)
Mahjoub Langar, Mohamed Mejri, Kamel Adi
Toward an Algebraic Framework for Security Policy Enforcement in Concurrent Systems. Security and Management (2010)
Ji Ma, Kamel Adi, Mohamed Mejri, Luigi Logrippo
Risk analysis in access control systems. PST (2010)
Khaled Hamouid, Kamel Adi
networks. Secur. Commun. Networks 3 (6) (2010)
Ji Ma, Kamel Adi, Luigi Logrippo, Serge Mankovski
Risk management in dynamic role based access control systems. ICDIM (2010)
Mahjoub Langar, Mohamed Mejri, Kamel Adi
Rewriting-based Security Enforcement of Concurrent Systems - A Formal Approach. SECRYPT (2010)
Waël Hassan, Nadera Slimani, Kamel Adi, Luigi Logrippo
Secrecy UML Method for Model Transformations. ASM (2010)
Riaz Ahmed Shaikh, Kamel Adi, Luigi Logrippo, Serge Mankovski
Detecting incompleteness in access control policies using data classification schemes. ICDIM (2010)
Mohamed Mejri, Kamel Adi, Hamido Fujita
Formal Specification and Analysis of Firewalls. SoMeT (2009)
Khaled Hamouid, Kamel Adi
Robust Key Management scheme for certification in mobile ad-hoc networks. ISCC (2009)
Hakima Ould-Slimane, Mohamed Mejri, Kamel Adi
Using Edit Automata for Rewriting-Based Security Enforcement. DBSec (2009)
Ji Ma, Mehmet A. Orgun, Abdul Sattar, Kamel Adi
Temporalised Epistemic Logic for Reasoning about Agent-Based Systems. Web Intelligence/IAT Workshops (2009)
Kamel Adi, Yacine Bouzida, Ikhlass Hattak, Luigi Logrippo, Serge Mankovski
Typing for Conflict Detection in Access Control Policies. MCETECH (2009)
Ammar Boulaiche, Kamel Adi
Honeyd Detection Via Abnormal Behaviors Generated by the ARPD Daemon. SECRYPT (2008)
Kamel Adi, Liviu Pene
Formal Reasoning for Security Protocol Correctness. SoMeT (2008)
Mahjoub Langar, Mohamed Mejri, Kamel Adi
A Formal Approach for Security Policy Enforcement in Concurrent Programs. Security and Management (2007)
Lamia Hamza, Kamel Adi
Formal Technique for Discovering Complex Attacks in Computer Systems. SoMeT (2007)
Lamia Hamza, Kamel Adi, Karim El Guemhioui
Automatic generation of attack scenarios for intrusion detection systems. AICT/ICIW (2006)
Kamel Adi, Daniel Amyot, Luigi Logrippo
Foreword - New technologies in distributed systems. Ann. des Télécommunications 61 (11-12) (2006)
Liviu Pene, Kamel Adi
A Calculus for Distributed Firewall Specification and Verification. SoMeT (2006)
Hakima Ould-Slimane, Mohamed Mejri, Kamel Adi
Enforcing Security Policies on Programs. SoMeT (2006)
Kamel Adi, Liviu Pene
Secrecy Correctness for Security Protocols. DFMA (2005)
Kamel Adi, Mourad Debbabi, Mohamed Mejri
A new logic for electronic commerce protocols. Theor. Comput. Sci. 291 (3) (2003)
Kamel Adi, Mourad Debbabi
Abstract interpretation for proving secrecy properties in security protocols. Electron. Notes Theor. Comput. Sci. 55 (1) (2001)
Kamel Adi, Mourad Debbabi, Mohamed Mejri
A New Logic for Electronic Commerce Protocols. AMAST (2000)
Didier Bert, Rachid Echahed, Kamel Adi
Resolution of Goals with the Functional and Logic Programming Language LPG: Impact of Abstract Interpretation. AMAST (1996)