Automark++: A Case Tool to Automatically Mark Student Java Programs. - Jubair Al-Jáafer; Khair Eddin Sabri (Int. Arab J. Inf. Technol., 2005)

Verification of Information Flow in Agent-Based Systems. - Khair Eddin Sabri; Ridha Khédri; Jason Jaskolka (MCETECH, 2009)

A formal test for detecting information leakage via covert channels. - Jason Jaskolka; Ridha Khédri; Khair Eddin Sabri (CSIIRW, 2011)

Algebraic Framework for the Specification and Analysis of Cryptographic-Key Distribution. - Khair Eddin Sabri; Ridha Khédri (Fundam. Informaticae, 2011)

A Generic Algebraic Model for the Analysis of Cryptographic-Key Assignment Schemes. - Khair Eddin Sabri; Ridha Khédri (FPS, 2012)

An Algebraic Approach Towards Data Cleaning. - Ridha Khédri; Fei Chiang; Khair Eddin Sabri (EUSPN/ICTH, 2013)

Investigative Support for Information Confidentiality Part II: Applications in Cryptanalysis and Digital Forensics. - Jason Jaskolka; Ridha Khédri; Khair Eddin Sabri (FNC/MobiSPC, 2014)

Investigative Support for Information Confidentiality Part I: Detecting Confidential Information Leakage via Protocol-based Covert Channels. - Jason Jaskolka; Ridha Khédri; Khair Eddin Sabri (FNC/MobiSPC, 2014)

Algebraic Analysis of Object-Based Key Assignment Schemes. - Khair Eddin Sabri (J. Softw., 2014)

Automated Verification Of Role-Based Access Control Policies Constraints Using Prover9. - Khair Eddin Sabri (CoRR, 2015)

Investigative support for information confidentiality. - Jason Jaskolka; Ridha Khédri; Khair Eddin Sabri (J. Ambient Intell. Humaniz. Comput., 2015)

Algebraic Model for Handling Access Control Policies. - Khair Eddin Sabri; Hazem Hiary (ANT/SEIT, 2016)

Detecting and Preventing SQL Injection Attacks: A Formal Approach. - Mohammad Qbea'h; Mohammad Aref Alshraideh; Khair Eddin Sabri (CCC, 2016)

A temporal defeasible logic for handling access control policies. - Khair Eddin Sabri; Nadim Obeid (Appl. Intell., 2016)

Hierarchical architecture and protocol for mobile object authentication in the context of IoT smart cities. - Maha Saadeh; Azzam Sleit; Khair Eddin Sabri; Wesam Almobaideen (J. Netw. Comput. Appl., 2018)

Generating Test Cases from Role-Based Access Control Policies using Cause-Effect Graph. - Yousef Khdairat; Khair Eddin Sabri (J. Softw., 2018)

Hybrid SDN-ICN Architecture Design for the Internet of Things. - Huda Saadeh; Wesam Almobaideen; Khair Eddin Sabri; Maha Saadeh (SDS, 2019)

On the Logical Foundation of a Personalized Medical Prescription System. - Sherin Hijazi; Nadim Obeid; Khair Eddin Sabri (IEEE Access, 2020)

A feature selection algorithm for intrusion detection system based on Pigeon Inspired Optimizer. - Hadeel Alazzam; Ahmad Sharieh; Khair Eddin Sabri (Expert Syst. Appl., 2020)

Searchable encryption architectures: survey of the literature and proposing a unified architecture. - Wesam Almobaideen; Hebatullah Jarboua; Khair Eddin Sabri (Int. J. Inf. Priv. Secur. Integr., 2020)

Object Authentication in the Context of the Internet of Things: A Survey. - Maha Saadeh; Azzam Sleit; Khair Eddin Sabri; Wesam Almobaideen (J. Cyber Secur. Mobil., 2020)

A comprehensive performance empirical study of the symmetric algorithms: AES, 3DES, Blowfish and Twofish. - Hasan Dibas; Khair Eddin Sabri (ICIT, 2021)

A feature selection algorithm for intrusion detection system based on Moth Flame Optimization. - Arar Al Tawil; Khair Eddin Sabri (ICIT, 2021)

Salp Swarm Optimization Search Based Feature Selection for Enhanced Phishing Websites Detection. - Ruba Abu Khurma; Khair Eddin Sabri; Pedro A. Castillo; Ibrahim Aljarah (EvoApplications, 2021)

An Enhanced Opposition-Based Evolutionary Feature Selection Approach. - Ruba Abu Khurma; Ibrahim Aljarah; Pedro A. Castillo; Khair Eddin Sabri (EvoApplications, 2022)

Diverse Approaches Have Been Presented To Mitigate SQL Injection Attack, But It Is Still Alive: A Review. - Mohammad Qbea'h; Saed Alrabaee; Mohammad Aref Alshraideh; Khair Eddin Sabri (ICCA, 2022)

A lightweight intelligent network intrusion detection system using OCSVM and Pigeon inspired optimizer. - Hadeel Alazzam; Ahmad Sharieh; Khair Eddin Sabri (Appl. Intell., 2022)

A Digital Evidences Preservation Framework for a Logic Based Smart Contract. - Wala'a M. AlOmari; Khair Eddin Sabri; Nadim Obeid (Informatica (Slovenia), 2023)

A Biometric Technique to Secure Credit Card Information on Android Devices. - Mahmoud Ayyad; Khair Eddin Sabri (Int. J. Interact. Mob. Technol., 2025)