Carlos Aguilar Melchor, Jean-Christophe Deneuville, Arnaud Dion, James Howe, Romain Malmain, Vincent Migliore, Mamuri Nawan, Kashif Nawaz. Towards Automating Cryptographic Hardware Implementations: a Case Study of HQC. IACR Cryptology ePrint Archive, 2022:1425, 2022. [doi]
Abstract is missing.