Hwang, Vincent, Jiaxiang Liu, Gregor Seiler, Xiaomu Shi, Ming-Hsien Tsai, Bow-Yaw Wang, and Bo-Yin Yang. “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 September 26, 2022. https://tches.iacr.org/index.php/TCHES/article/view/9838.