KSIS Lab logoLab

KSIS Lab

Publications

Selected publications from KSIS Lab faculty and collaborators in secure computing, computer architecture, cybersecurity, cryptography, machine learning, hardware acceleration, and intelligent systems.

Publications are organized by research area. Full venue, year, and link metadata is being compiled and will be added as it is confirmed.

Hardware Acceleration

Journal2025

Competition-style Sorting Networks (CSN): A Framework for Hardware-based Sorting Operations

A. Fairouz, J. Aljuraidan, A. Mohammed

IEEE Transactions on Computers (September 2025)

Journal2024

TinyBERT for Branch Prediction in Modern Microprocessors

A. AlAjmi, B. AlSarraf, Z. Abualhassan, A. Fairouz, I. Ahmad

Neural Computing and Applications, Springer Nature, vol. 37, pp. 1771–1782 (2024)

Journal2020

Hardware Acceleration of Hash Operations in Modern Microprocessors

A. Fairouz, M. Abusultan, S. Fedorov, S. P. Khatri

IEEE Transactions on Computers (July 2020)

Conference2017

An FPGA-based Coprocessor for Hash Unit Acceleration

A. Fairouz, S. P. Khatri

IEEE 35th International Conference on Computer Design (ICCD 2017)

Conference2019

PAU: A Programmable Arithmetic Unit for Use in Modern Microprocessors

A. Fairouz, A. Douglass, K. Bharathi, S. P. Khatri

IEEE 37th International Conference on Computer Design (ICCD 2019), Abu Dhabi, UAE

Journal2022

POSIT vs. Floating Point in Implementing IIR Notch Filter by Enhancing Radix-4 Modified Booth Multiplier

A. Esmaeel, S. Abed, B. Mohd, A. Fairouz

Electronics, vol. 11, no. 163 (2022)

Journal2025under review

An Efficient Unified Memory Security Model for CXL Memory-Expanded GPU Systems

H. Lee, R. Abdullah, H. Zhou, A. Fairouz, A. Awad

IEEE Transactions on Computers, Special Issue on Compute Express Link (CXL)

Conference2026under review

Chiplet-Knight: Enabling High-Performance Data Security in Shrunk Trusted Computing Base

R. Abdullah, H. Zhou, A. Fairouz, A. Awad

International Symposium on Computer Architecture (ISCA 2026), Raleigh, NC, USA, June 27–July 1

Conference2022

Competition Sort Algorithm (CSA): A Novel Hardware-based Sorting Algorithm for Sorting Networks

A. Fairouz, J. Al-Juraidan

First Scientific Research Conference, Kuwait University, March 2022

Workshop2021

Simulation of Nanofluids in Computer Cooling Systems

O. Al-Jowaiser, A. Bahman, N. Ali, Y. Malallah, A. Fairouz

Scientific Poster Day, Kuwait University, March 2021

Journal2018

Comparing Leakage Reduction Techniques for an Asynchronous NoC Router

A. Fairouz, M. Abusultan, A. Elshenawy, S. P. Khatri

Journal of Low Power Electronics, vol. 14, no. 13, pp. 414–427 (2018)

Workshop2017

Design of a Hardware Hash Unit for use in Modern Microprocessors

A. Fairouz, M. Abusultan, S. P. Khatri

Texas Workshop on Integrated System Exploration (TexasWISE 2017)

Workshop2017

A Comparison of Low Standby Power Techniques for an Asynchronous NoC Router

A. Fairouz, M. Abusultan, A. Elshenawy, S. P. Khatri

Texas Workshop on Integrated System Exploration (TexasWISE 2017)

Conference2017

Circuit Level Design of a Hardware Hash Unit for use in Modern Microprocessors

A. Fairouz, M. Abusultan, S. P. Khatri

ACM 27th Great Lakes Symposium on VLSI (GLSVLSI 2017)

Conference2016

A Novel Hardware Hash Unit Design for Modern Microprocessors

A. Fairouz, M. Abusultan, S. P. Khatri

IEEE 34th International Conference on Computer Design (ICCD 2016), pp. 412–415

Data Compression

Conference2018

A Plain-text Incremental Compression (PIC) Technique with Fast Lookup Ability

K. Bharathi, H. Kumar, A. Fairouz, A. Al Kawam, S. P. Khatri

IEEE 36th International Conference on Computer Design (ICCD 2018), pp. 389–396

Journalongoing

Design and Evaluation of a Lightweight Plain-text Incremental Compression Technique

A. Fairouz

Cybersecurity and Privacy

Conference2017

Some Recipes Can Do More Than Spoil Your Appetite: Analyzing the Security and Privacy Risks of IFTTT Recipes

M. Surbatovich, J. Aljuraidan, L. Bauer, A. Das, L. Jia

WWW 2017 — 26th International World Wide Web Conference

Conference2016

Introducing Reputation Systems to the Economics of Outsourcing Computations to Rational Workers

J. Aljuraidan, L. Bauer, M. K. Reiter, M. Beckerle

Financial Cryptography and Data Security (FC 2016), Springer-Verlag

Conference2013

Run-Time Enforcement of Information-Flow Properties on Android

L. Jia, J. Aljuraidan, E. Fragkaki, L. Bauer, M. Stroucken, K. Fukushima, S. Kiyomoto, Y. Miyake

ESORICS 2013, Springer LNCS (2013)

Conference2020

Incremental Deployment of Hybrid IP/SDN Network with Optimized Traffic Engineering

A. Kelkawi, A. Mohammed, A. Alyatama

IEEE NFV-SDN 2020, Leganés-Madrid, Spain, pp. 57–63

Intelligent Systems

Journal2024

Vulnerability of Deep Forests to Adversarial Attacks

Z. T. M. Ali, A. Mohammed, I. Ahmad

IEEE Transactions on Information Forensics and Security (2024)

Journal2024

Enhancing Adversarial Robustness with Randomized Interlayer Processing

A. Mohammed, Z. T. M. Ali, I. Ahmad

Expert Systems with Applications (2024)

Journal2022

Evaluating Adversarial Robustness of Secret Key-Based Defenses

Z. T. M. Ali, A. Mohammed, I. Ahmad

IEEE Access, vol. 10, pp. 34872–34882 (2022)

Journal2021

Deep Forest Model for Diagnosing COVID-19 from Routine Blood Tests

M. AlJame, A. Imtiaz, I. Ahmad, A. Mohammed

Scientific Reports, vol. 11, no. 1, p. 16682 (2021)

Conference2019

Data Poisoning Attacks in Multi-party Learning

S. Mahloujifar, M. Mahmoody, A. Mohammed

ICML 2019 (Proceedings of Machine Learning Research, vol. 97)

Journal2020

Ensemble Learning Model for Diagnosing COVID-19 from Routine Blood Tests

M. AlJame, I. Ahmad, A. Imtiaz, A. Mohammed

Informatics in Medicine Unlocked, vol. 21, p. 100449 (2020)

Journal2025under review

An Empirical Eye-Tracking Study of Cross-Lingual Program Comprehension and Debugging

A. Mohammed, R. Albaghli, H. Alrushood, F. Ghaddar

Journal of Systems & Software (2025, under review)

Journal2025under review

A Q-Learning-Based Hybrid Metaheuristic for the Traveling Salesman Problem

A. Mohammed, R. Kebloui, Y. Alfezai

Journal of Engineering Research (2025, under review)

Journal2012

An Enhanced Distributed Deadlock Detection and Recovery in Process Networks

M. Al-Shayeji, A. Fairouz, Samrajesh

International Journal of Computer and Electrical Engineering, vol. 4, no. 3, pp. 298–302 (2012)

Journal2011

Alternative Flow Diagram for Supply Chain: Application to Risks

S. Al-Fedaghi, A. Fairouz

Advances in Information Sciences and Service Sciences, vol. 3, no. 8, pp. 111–121 (2011)

Cryptography

Journal2020

Fair and Privacy-Respecting Bitcoin Payments for Smart Grid Data

T. Dimitriou, A. Mohammed

IEEE Internet of Things Journal, vol. 7, no. 10, pp. 10401–10417 (2020)

Conference2018

Limits on the Power of Garbling Techniques for Public-Key Encryption

S. Garg, M. Hajiabadi, M. Mahmoody, A. Mohammed

CRYPTO 2018, Springer LNCS, vol. 10993, pp. 335–364

Conference2017

Lower Bounds on Obfuscation from All-or-Nothing Encryption Primitives

S. Garg, M. Mahmoody, A. Mohammed

CRYPTO 2017, Springer LNCS, vol. 10401, pp. 661–695

Conference2017

When Does Functional Encryption Imply Obfuscation?

S. Garg, M. Mahmoody, A. Mohammed

TCC 2017 — Theory of Cryptography Conference, Springer LNCS, vol. 10677, pp. 82–115

Conference2016

On the Power of Hierarchical Identity-Based Encryption

M. Mahmoody, A. Mohammed

EUROCRYPT 2016 — Advances in Cryptology, Springer LNCS, vol. 9666, pp. 243–272

Conference2016

On the Impossibility of Virtual Black-Box Obfuscation in Idealized Models

M. Mahmoody, A. Mohammed, S. Nematihaji

TCC 2016 — Theory of Cryptography Conference, Springer LNCS, vol. 9562, pp. 18–48

Conference2016

Lower Bounds on Assumptions Behind Indistinguishability Obfuscation

M. Mahmoody, A. Mohammed, S. Nematihaji, R. Pass, A. Shelat

TCC 2016 — Theory of Cryptography Conference, Springer LNCS, vol. 9562, pp. 49–66

Quantum Computing

Conference2025under review

Quantum Federated Learning for Adaptive Intrusion Detection Systems in Software-Defined Networks

Y. Alfezai, A. Mohammed

ISNCC 2025 — International Symposium on Networks, Computers and Communications

Conference2025under review

Publicly Verifiable Quantum Computation with Classical Verifiers

A. Mohammed, A. Abadi

Theory of Cryptography Conference (TCC 2025)

Learn More

Explore our active research projects or get in touch with the team.