“Verified NTT Multiplications for NISTPQC KEM Lattice Finalists: Kyber, SABER, and NTRU”. IACR Transactions on Cryptographic Hardware and Embedded Systems 2022, no. 4 (August 31, 2022): 718–750. Accessed December 22, 2024. https://philosophymindscience.org/index.php/TCHES/article/view/9838.