Partial Number Theoretic Transform Masking in Post-Quantum Cryptography (PQC) Hardware: A Security Margin Analysis. - Ray Iskander; Khaled Kirah (CoRR, 2026)

Structural Dependency Analysis for Masked NTT Hardware: Scalable Pre-Silicon Verification of Post-Quantum Cryptographic Accelerators. - Ray Iskander; Khaled Kirah (CoRR, 2026)

From Finite Enumeration to Universal Proof: Ring-Theoretic Foundations for PQC Hardware Masking Verification. - Ray Iskander; Khaled Kirah (CoRR, 2026)

Fresh Masking Makes NTT Pipelines Composable: Machine-Checked Proofs for Arithmetic Masking in PQC Hardware. - Ray Iskander; Khaled Kirah (CoRR, 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, 2026)

Prime-Field PINI: Machine-Checked Composition Theorems for Post-Quantum NTT Masking. - Ray Iskander; Khaled Kirah (CoRR, 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, 2026)