@mastersthesis{EURECOM+7103,
  author = {Aguilar-Melchor, Carlos and  Deneuville, Jean-Christophe and  Dion, Arnaud and  Howe, James and  Malmain, Romain and  Migliore, Vincent and  Nawan, Mamuri and  Nawaz, Kashif},
  title = {Towards Automating Cryptographic Hardware Implementations: a Case Study of HQC},
  year = {2022},
  note = {IACR},
}