Manuel Barbosa, Peter Schwabe: Kyber terminates. IACR Cryptol. ePrint Arch. 2023: 708 (2023)