Towards Automating Cryptographic Hardware Implementations: a Case Study of HQC. - Carlos Aguilar Melchor; Jean-Christophe Deneuville; Arnaud Dion; James Howe; Romain Malmain; Vincent Migliore; Mamuri Nawan; Kashif Nawaz (IACR Cryptol. ePrint Arch., 2022)