TY  - RPRT
TI  - Fresh Masking Makes NTT Pipelines Composable: Machine-Checked Proofs for Arithmetic Masking in PQC Hardware
AU  - Ray Iskander
AU  - Khaled Kirah
PY  - 2026
UR  - https://arxiv.org/abs/2604.20793
ID  - 2604.20793
ER  -