Towards Automating Cryptographic Hardware Implementations: a Case Study of HQC.
Carlos Aguilar MelchorJean-Christophe DeneuvilleArnaud DionJames HoweRomain MalmainVincent MiglioreMamuri NawanKashif NawazPublished in: IACR Cryptol. ePrint Arch. (2022)