Paper 2022/1425 Towards Automating Cryptographic Hardware Implementations: a Case Study of HQC , SandboxAQ, Palo Alto, USA , ENAC, University of Toulouse, France , ISAE-SupAero, University of Toulouse, France , SandboxAQ, Palo Alto, USA , EURECOM, France , INSA/LAAS-CNRS, University of Toulouse, France , Cryptography Research Centre, Technology Innovation Institute, Abu Dhabi, UAE , Cryptography Research Centre, Technology Innovation Institute, Abu Dhabi, UAE Abstract While hardware...