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. In Jean-Christophe Deneuville, editor, Code-Based Cryptography - 10th International Workshop, CBCrypto 2022, Trondheim, Norway, May 29-30, 2022, Revised Selected Papers. Volume 13839 of Lecture Notes in Computer Science, pages 62-76, Springer, 2022. [doi]
Abstract is missing.