TY  - RPRT
TI  - From Finite Enumeration to Universal Proof: Ring-Theoretic Foundations for PQC Hardware Masking Verification
AU  - Ray Iskander
AU  - Khaled Kirah
PY  - 2026
UR  - https://arxiv.org/abs/2604.18717
ID  - 2604.18717
ER  -