Towards perfect CRYSTALS in Helium. - Hanno Becker; Fabien Klein (IACR Cryptol. ePrint Arch., 2022)

Fast and Clean: Auditable high-performance assembly via constraint solving. - Amin Abdulrahman; Hanno Becker; Matthias J. Kannwischer; Fabien Klein (IACR Trans. Cryptogr. Hardw. Embed. Syst., 2024)