Iskander, R., & Kirah, K. (2026). Fresh Masking Makes NTT Pipelines Composable: Machine-Checked Proofs for Arithmetic Masking in PQC Hardware.
Chicago Style (17th ed.) CitationIskander, Ray, and Khaled Kirah. Fresh Masking Makes NTT Pipelines Composable: Machine-Checked Proofs for Arithmetic Masking in PQC Hardware. 2026.
MLA (9th ed.) CitationIskander, Ray, and Khaled Kirah. Fresh Masking Makes NTT Pipelines Composable: Machine-Checked Proofs for Arithmetic Masking in PQC Hardware. 2026.
Warning: These citations may not always be 100% accurate.