Khaled Kirah

According to our database, Khaled Kirah authored at least 9 papers between 2006 and 2026.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2026

The 1-Bit Barrier is Universal: k-Stage Pipeline Composition and Unified Leakage Bounds for Standard Modular Reductions in PQC Hardware.

Ray Iskander, Khaled Kirah

CoRR, May, 2026

Prime-Field PINI: Machine-Checked Composition Theorems for Post-Quantum NTT Masking.

Ray Iskander, Khaled Kirah

CoRR, April, 2026

Machine-Checked Cardinality Bounds for Masked Barrett Reduction: A 1-Bit Side-Channel Leakage Barrier in Post-Quantum Cryptographic Hardware.

Ray Iskander, Khaled Kirah

CoRR, April, 2026

Fresh Masking Makes NTT Pipelines Composable: Machine-Checked Proofs for Arithmetic Masking in PQC Hardware.

Ray Iskander, Khaled Kirah

CoRR, April, 2026

From Finite Enumeration to Universal Proof: Ring-Theoretic Foundations for PQC Hardware Masking Verification.

Ray Iskander, Khaled Kirah

CoRR, April, 2026

Structural Dependency Analysis for Masked NTT Hardware: Scalable Pre-Silicon Verification of Post-Quantum Cryptographic Accelerators.

Ray Iskander, Khaled Kirah

CoRR, April, 2026

Partial Number Theoretic Transform Masking in Post-Quantum Cryptography (PQC) Hardware: A Security Margin Analysis.

Ray Iskander, Khaled Kirah

CoRR, April, 2026

2016

Modelling Various Solar Cells Materials Using Lorentzian-Drude Coefficients.

Sameh Osama Abdellatif, Khaled Kirah, Rami Ghannam, Ahmed S. G. Khalil, Wagdy Anis

Int. J. Recent Contributions Eng. Sci. IT, 2016

2006

Simplified quantitative stress-induced leakage current (SILC) model for MOS devices.

M. Ossaimee, Khaled Kirah, W. Fikry, A. Girgis, O. A. Omar

Microelectron. Reliab., 2006