TY  - RPRT
TI  - Machine-Checked Cardinality Bounds for Masked Barrett Reduction: A 1-Bit Side-Channel Leakage Barrier in Post-Quantum Cryptographic Hardware
AU  - Ray Iskander
AU  - Khaled Kirah
PY  - 2026
UR  - https://arxiv.org/abs/2604.24670
ID  - 2604.24670
ER  -