Hwang, Vincent, Jiaxiang Liu, Gregor Seiler, Xiaomu Shi, Ming-Hsien Tsai, Bow-Yaw Wang, and Bo-Yin Yang. 2022. “Verified NTT Multiplications for NISTPQC KEM Lattice Finalists: Kyber, SABER, and NTRU”. IACR Transactions on Cryptographic Hardware and Embedded Systems 2022 (4):718-50. https://doi.org/10.46586/tches.v2022.i4.718-750.