Verified NTT Multiplications for NISTPQC KEM Lattice Finalists: Kyber, SABER, and NTRUVincent HwangJiaxiang Liuet al.2022IACR Transactions on Cryptographic Hardware and Embedded Systems