TY  - RPRT
TI  - Prime-Field PINI: Machine-Checked Composition Theorems for Post-Quantum NTT Masking
AU  - Ray Iskander
AU  - Khaled Kirah
PY  - 2026
UR  - https://arxiv.org/abs/2604.25878
ID  - 2604.25878
ER  -