Kamel Adi - RankMe

79 papers B 1C 23Misc 4Journal 16Unranked 33

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A formal approach for security pattern enforcement in software architecture. Comput. Secur. Quentin Rouland, Kamel Adi, Omer Nguena Timo, Luigi Logrippo
2025	—	`ed.`	Foundations and Practice of Security - 17th International Symposium, FPS 2024, Montréal, QC, Canada, December 9-11, 2024, Revised Selected Papers, Part I FPS (1) Kamel Adi, Simon Bourdeau, Christel Durand, Valérie Viet Triem Tong, Alina Dulipovici, Yvon Kermarrec, Joaquín García-Alfaro
2025	—	`ed.`	Foundations and Practice of Security - 17th International Symposium, FPS 2024, Montréal, QC, Canada, December 9-11, 2024, Revised Selected Papers, Part II FPS (2) Kamel Adi, Simon Bourdeau, Christel Durand, Valérie Viet Triem Tong, Alina Dulipovici, Yvon Kermarrec, Joaquín García-Alfaro
2025	C	`conf`	Hierarchical Colored Petri Nets for Vulnerability Detection in Software Architectures. SECRYPT Maya Benabdelhafid, Kamel Adi, Omer Landry Nguena-Timo, Luigi Logrippo
2025	C	`conf`	Optimal Noise Injection on Training Data: A Defense Against Membership Inference Attacks. SECRYPT Radia Kassa, Kamel Adi, Myria Bouhaddi
2025	Misc	`conf`	Optimized Security Measure Selection: Leveraging MILP Solvers To Balance Risk And Cost. CSR Pierre Fobougong Saha, Mohamed Mejri, Kamel Adi
2025	C	`conf`	Robust Peer-to-Peer Machine Learning Against Poisoning Attacks. SECRYPT Myria Bouhaddi, Kamel Adi
2025	—	`conf`	Trust-Aware Vertical Intrusion Detection for IoT via Evolutionary Graph Neural Networks. C&ESAR Myria Bouhaddi, Kamel Adi
2024	—	`conf`	Advanced Real-Time Detection of Cyber Threat Information from Tweets. FPS (1) Mohamed El Amine Bekhouche, Kamel Adi
2024	C	`conf`	Detecting Information Disclosure Vulnerability in Software Architectures Using Alloy. CRiSIS Quentin Rouland, Kamel Adi, Omer Nguena Timo, Luigi Logrippo
2024	C	`conf`	Enhancing Privacy in Machine Learning: A Robust Approach for Preventing Attribute Inference Attacks. SECRYPT Myria Bouhaddi, Kamel Adi
2024	—	`conf`	Evaluating Large Language Models on Cybersecurity Knowledge and Skills: A Comparative Analysis. FPS (1) Mohamed El Amine Bekhouche, Myria Bouhaddi, Wahib Larbi, Kamel Adi
2024	—	`conf`	Toward Automatic Enforcement of Security Patterns in Software Architecture Using Alloy. FPS (1) Quentin Rouland, Kamel Adi, Omer Nguena Timo, Luigi Logrippo
2024	C	`conf`	Toward the Foundation of Digital Identity Theory. SECRYPT Pierre Fobougong Saha, Mohamed Mejri, Kamel Adi
2024	Misc	`conf`	When Rewards Deceive: Counteracting Reward Poisoning on Online Deep Reinforcement Learning. CSR Myria Bouhaddi, Kamel Adi
2023	—	`conf`	A BERT-Based Framework for Automated Extraction of Behavioral Indicators of Compromise from Security Incident Reports. FPS (1) Mohamed El Amine Bekhouche, Kamel Adi
2023	Misc	`conf`	Mitigating Membership Inference Attacks in Machine Learning as a Service. CSR Myria Bouhaddi, Kamel Adi
2023	C	`conf`	Multi-Environment Training Against Reward Poisoning Attacks on Deep Reinforcement Learning. SECRYPT Myria Bouhaddi, Kamel Adi
2023	C	`conf`	Secure Electric Vehicle Dynamic Charging Based on Smart Contracts. ISNCC Karima Massmi, Khaled Hamouid, Kamel Adi
2022	—	`conf`	POWoT : a Privacy Ontology for the Web of Things. WI/IAT Yacine Sam, Kamel Adi, Nasredine Cheniki, Noé Breton
2021	—	`conf`	A Privacy-Preserving Authentication Model Based on Anonymous Certificates in IoT. WD Khaled Hamouid, Mawloud Omar, Kamel Adi
2021	—	`conf`	Access Pattern Hiding in Searchable Encryption. FiCloud Fateh Boucenna, Omar Nouali, Kamel Adi, Samir Kechid
2020	J	`jnl`	A semantic-based classification approach for an enhanced spam detection. Comput. Secur. Nadjate Saidani, Kamel Adi, Mohand Saïd Allili
2020	C	`conf`	Privacy-aware Authentication Scheme for Electric Vehicle In-motion Wireless Charging. ISNCC Khaled Hamouid, Kamel Adi
2019	—	`conf`	A Rejection-Based Approach for Detecting SQL Injection Vulnerabilities in Web Applications. FPS Lalia Saoudi, Kamel Adi, Younes Boudraa
2019	J	`jnl`	Secure and reliable certification management scheme for large-scale MANETs based on a distributed anonymous authority. Peer-to-Peer Netw. Appl. Khaled Hamouid, Kamel Adi
2019	—	`conf`	Semantic Representation Based on Deep Learning for Spam Detection. FPS Nadjate Saidani, Kamel Adi, Mohand Saïd Allili
2018	J	`jnl`	An auto-learning approach for network intrusion detection. Telecommun. Syst. Ammar Boulaiche, Kamel Adi
2018	J	`jnl`	An efficient intrusion detection in resource-constrained mobile ad-hoc networks. Comput. Secur. Myria Bouhaddi, Mohammed Said Radjef, Kamel Adi
2018	J	`jnl`	Automatic security policy enforcement in computer systems. Comput. Secur. Kamel Adi, Lamia Hamza, Liviu Pene
2017	J	`jnl`	A Data Classification Method for Inconsistency and Incompleteness Detection in Access Control Policy Sets. Int. J. Inf. Sec. Riaz Ahmed Shaikh, Kamel Adi, Luigi Logrippo
2017	—	`conf`	A Supervised Approach for Spam Detection Using Text-Based Semantic Representation. MCETECH Nadjate Saidani, Kamel Adi, Mouhand Saïd Allili
2017	—	`conf`	Compliance Verification Algorithm for Computer Systems Security Policies. MCETECH Liviu Pene, Lamia Hamza, Kamel Adi
2017	—	`conf`	Insider Threat Likelihood Assessment for Flexible Access Control. MCETECH Sofiene Boulares, Kamel Adi, Luigi Logrippo
2016	C	`conf`	Evolutionary Game-Based Defense Mechanism in the MANETs. SIN Myria Bouhaddi, Kamel Adi, Mohammed Said Radjef
2016	—	`conf`	Insider Threat Likelihood Assessment for Access Control Systems: Quantitative Approach. FPS Sofiene Boulares, Kamel Adi, Luigi Logrippo
2015	J	`jnl`	Efficient certificateless web-of-trust model for public-key authentication in MANET. Comput. Commun. Khaled Hamouid, Kamel Adi
2015	—	`conf`	Information Flow-Based Security Levels Assessment for Access Control Systems. MCETECH Sofiene Boulares, Kamel Adi, Luigi Logrippo
2014	—	`conf`	A Game Approach for an Efficient Intrusion Detection System in Mobile Ad Hoc Networks. FPS Myria Bouhaddi, Mohammed Said Radjef, Kamel Adi
2013	J	`jnl`	A framework for risk assessment in access control systems. Comput. Secur. Hemanth Khambhammettu, Sofiene Boulares, Kamel Adi, Luigi Logrippo
2013	C	`conf`	An access control framework for hybrid policies. SIN Salim Khamadja, Kamel Adi, Luigi Logrippo
2013	C	`conf`	Designing flexible access control models for the cloud. SIN Salim Khamadja, Kamel Adi, Luigi Logrippo
2012	Misc	`conf`	A Framework for Threat Assessment in Access Control Systems. SEC Hemanth Khambhammettu, Sofiene Boulares, Kamel Adi, Luigi Logrippo
2012	—	`conf`	A Quantitative Approach for Intrusions Detection and Prevention based on Statistical N-Gram Models. ANT/MobiWIS Ammar Boulaiche, Hatem Bouzayani, Kamel Adi
2012	—	`conf`	CatBAC: A generic framework for designing and validating hybrid access control models. ICC Bernard Stepien, Hemanth Khambhammettu, Kamel Adi, Luigi Logrippo
2012	J	`jnl`	Dynamic risk-based decision methods for access control systems. Comput. Secur. Riaz Ahmed Shaikh, Kamel Adi, Luigi Logrippo
2012	—	`conf`	Self-Certified Based Trust Establishment Scheme in Ad-Hoc Networks. NTMS Khaled Hamouid, Kamel Adi
2011	J	`jnl`	An analytic tableau calculus for a temporalised belief logic. J. Appl. Log. Ji Ma, Mehmet A. Orgun, Kamel Adi
2011	J	`jnl`	Formal enforcement of security policies on concurrent systems. J. Symb. Comput. Mahjoub Langar, Mohamed Mejri, Kamel Adi
2011	C	`conf`	Risk-based decision method for access control systems. PST Riaz Ahmed Shaikh, Kamel Adi, Luigi Logrippo, Serge Mankovski
2011	—	`conf`	UACML: Unified Access Control Modeling Language. NTMS Nadera Slimani, Hemanth Khambhammettu, Kamel Adi, Luigi Logrippo
2010	—	`conf`	Detecting incompleteness in access control policies using data classification schemes. ICDIM Riaz Ahmed Shaikh, Kamel Adi, Luigi Logrippo, Serge Mankovski
2010	J	`jnl`	Games for non-repudiation protocol correctness. Int. J. Wirel. Mob. Comput. Kamel Adi, Liviu Pene, L. Sullivan
2010	C	`conf`	Inconsistency detection method for access control policies. IAS Riaz Ahmed Shaikh, Kamel Adi, Luigi Logrippo, Serge Mankovski
2010	C	`conf`	Rewriting-based Security Enforcement of Concurrent Systems - A Formal Approach. SECRYPT Mahjoub Langar, Mohamed Mejri, Kamel Adi
2010	—	`conf`	Risk Analysis in Access Control Systems Based on Trust Theories. Web Intelligence/IAT Workshops Ji Ma, Luigi Logrippo, Kamel Adi, Serge Mankovski
2010	C	`conf`	Risk analysis in access control systems. PST Ji Ma, Kamel Adi, Mohamed Mejri, Luigi Logrippo
2010	—	`conf`	Risk management in dynamic role based access control systems. ICDIM Ji Ma, Kamel Adi, Luigi Logrippo, Serge Mankovski
2010	—	`conf`	Secrecy UML Method for Model Transformations. ASM Waël Hassan, Nadera Slimani, Kamel Adi, Luigi Logrippo
2010	J	`jnl`	Secure and robust threshold key management (SRKM) scheme for Secur. Commun. Networks Khaled Hamouid, Kamel Adi
2010	—	`conf`	Toward an Algebraic Framework for Security Policy Enforcement in Concurrent Systems. Security and Management Mahjoub Langar, Mohamed Mejri, Kamel Adi
2009	C	`conf`	Formal Specification and Analysis of Firewalls. SoMeT Mohamed Mejri, Kamel Adi, Hamido Fujita
2009	C	`conf`	Robust Key Management scheme for certification in mobile ad-hoc networks. ISCC Khaled Hamouid, Kamel Adi
2009	—	`conf`	Temporalised Epistemic Logic for Reasoning about Agent-Based Systems. Web Intelligence/IAT Workshops Ji Ma, Mehmet A. Orgun, Abdul Sattar, Kamel Adi
2009	—	`conf`	Typing for Conflict Detection in Access Control Policies. MCETECH Kamel Adi, Yacine Bouzida, Ikhlass Hattak, Luigi Logrippo, Serge Mankovski
2009	B	`conf`	Using Edit Automata for Rewriting-Based Security Enforcement. DBSec Hakima Ould-Slimane, Mohamed Mejri, Kamel Adi
2008	C	`conf`	Formal Reasoning for Security Protocol Correctness. SoMeT Kamel Adi, Liviu Pene
2008	C	`conf`	Honeyd Detection Via Abnormal Behaviors Generated by the ARPD Daemon. SECRYPT Ammar Boulaiche, Kamel Adi
2007	—	`conf`	A Formal Approach for Security Policy Enforcement in Concurrent Programs. Security and Management Mahjoub Langar, Mohamed Mejri, Kamel Adi
2007	C	`conf`	Formal Technique for Discovering Complex Attacks in Computer Systems. SoMeT Lamia Hamza, Kamel Adi
2006	C	`conf`	A Calculus for Distributed Firewall Specification and Verification. SoMeT Liviu Pene, Kamel Adi
2006	—	`conf`	Automatic generation of attack scenarios for intrusion detection systems. AICT/ICIW Lamia Hamza, Kamel Adi, Karim El Guemhioui
2006	C	`conf`	Enforcing Security Policies on Programs. SoMeT Hakima Ould-Slimane, Mohamed Mejri, Kamel Adi
2006	J	`jnl`	Foreword - New technologies in distributed systems. Ann. des Télécommunications Kamel Adi, Daniel Amyot, Luigi Logrippo
2005	—	`conf`	Secrecy Correctness for Security Protocols. DFMA Kamel Adi, Liviu Pene
2003	J	`jnl`	A new logic for electronic commerce protocols. Theor. Comput. Sci. Kamel Adi, Mourad Debbabi, Mohamed Mejri
2001	—	`conf`	Abstract interpretation for proving secrecy properties in security protocols. LACPV@CAV Kamel Adi, Mourad Debbabi
2000	—	`conf`	A New Logic for Electronic Commerce Protocols. AMAST Kamel Adi, Mourad Debbabi, Mohamed Mejri
1996	—	`conf`	Resolution of Goals with the Functional and Logic Programming Language LPG: Impact of Abstract Interpretation. AMAST Didier Bert, Rachid Echahed, Kamel Adi