ArXiv TLDR

Khaled Kirah

3 papers · Latest:

Cryptography & Security

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

This paper introduces the first machine-checked composition theorems for prime-field arithmetic masking (PF-PINI) in post-quantum NTT hardware.

2604.25878
Cryptography & Security

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

This paper provides machine-checked proofs that fresh arithmetic masking ensures pipeline-level security for NTT stages in PQC hardware.

2604.20793
Cryptography & Security

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

A new four-stage verification hierarchy enables scalable pre-silicon side-channel resistance analysis for post-quantum cryptographic accelerators.

2604.15249

📬 Weekly AI Paper Digest

Get the top 10 AI/ML arXiv papers from the week — summarized, scored, and delivered to your inbox every Monday.