Khaled Kirah

Identifiers

No identifiers captured yet.

Papers (7)

1. The 1-Bit Barrier is Universal: k-Stage Pipeline Composition and Unified Leakage Bounds for Standard Modular Reductions in PQC Hardware cs.CR · 2026 · author #2
2. Prime-Field PINI: Machine-Checked Composition Theorems for Post-Quantum NTT Masking cs.CR · 2026 · author #2
3. Machine-Checked Cardinality Bounds for Masked Barrett Reduction: A 1-Bit Side-Channel Leakage Barrier in Post-Quantum Cryptographic Hardware cs.CR · 2026 · author #2
4. Fresh Masking Makes NTT Pipelines Composable: Machine-Checked Proofs for Arithmetic Masking in PQC Hardware cs.CR · 2026 · author #2
5. From Finite Enumeration to Universal Proof: Ring-Theoretic Foundations for PQC Hardware Masking Verification cs.CR · 2026 · author #2
6. Structural Dependency Analysis for Masked NTT Hardware: Scalable Pre-Silicon Verification of Post-Quantum Cryptographic Accelerators cs.CR · 2026 · author #2
7. Partial Number Theoretic Transform Masking in Post-Quantum Cryptography (PQC) Hardware: A Security Margin Analysis cs.CR · 2026 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Ray Iskander 7 shared papers