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
Topics & Concepts
Computer scienceField-programmable gate arrayEmbedded systemSoftwareHigh-level synthesisImplementationCode (set theory)CryptographyComputer hardwareSoftware implementationRapid prototypingComputer architectureOperating systemAlgorithmProgramming languageSet (abstract data type)EngineeringMechanical engineeringCryptographic Implementations and SecurityPhysical Unclonable Functions (PUFs) and Hardware SecurityParallel Computing and Optimization Techniques