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. Towards Automating Cryptographic Hardware Implementations: a Case Study of HQC. IACR Cryptology ePrint Archive, 2022:1425, 2022. [doi]

Authors

Carlos Aguilar Melchor

This author has not been identified. Look up 'Carlos Aguilar Melchor' in Google

Jean-Christophe Deneuville

This author has not been identified. Look up 'Jean-Christophe Deneuville' in Google

Arnaud Dion

This author has not been identified. Look up 'Arnaud Dion' in Google

James Howe

This author has not been identified. Look up 'James Howe' in Google

Romain Malmain

This author has not been identified. Look up 'Romain Malmain' in Google

Vincent Migliore

This author has not been identified. Look up 'Vincent Migliore' in Google

Mamuri Nawan

This author has not been identified. Look up 'Mamuri Nawan' in Google

Kashif Nawaz

This author has not been identified. Look up 'Kashif Nawaz' in Google