Hwang, V.; Liu, J.; Seiler, G.; Shi, X.; Tsai, M.-H.; Wang, B.-Y.; Yang, B.-Y. Verified NTT Multiplications for NISTPQC KEM Lattice Finalists: Kyber, SABER, and NTRU. TCHES 2022, 2022, 718-750.