Stage post-quantique Benchmark des implémentations FAESTHAWK sur Cortex M7

Contexte du stage

Au sein de notre Lab Recherche & Innovation nous recherchons un élève-ingénieur pour intervenir sur un projet de R&D en cryptographie post-quantique appliquée aux systèmes embarqués.

Quel est le projet

Afin de préparer les systèmes industriels critiques aux risques que fait peser linformatique quantique sur la cybersécurité SOLENT travaille à lévaluation et lintégration dalgorithmes cryptographiques post-quantiques sur microcontrôleurs. Les schémas de signature FAEST (Fast Authentication from Encryption with Short Tags) et HAWK (Higher-order Authentication with Wegman-carter) font partie des candidats prometteurs du processus de standardisation NIST. Le microcontrôleur ARM Cortex M7 largement déployé dans lembarqué industriel (aéronautique automobile énergie) constitue une cible dévaluation prioritaire pour mesurer la viabilité de ces nouveaux algorithmes dailleurs utilisés lors des travaux réalisés par Thales et le CEA dans le cadre du projet GIVERNY.

Quelle est la problématique à résoudre

Votre mission consistera à porter et benchmarker les implémentations de référence des schémas FAEST et/ou HAWK sur une plateforme ARM Cortex M7 (STM32F7 ou équivalent). Vous mesurerez leurs performances (vitesse empreinte mémoire consommation énergétique) et les comparerez aux signatures cryptographiques classiques (ECDSA RSA) ainsi (selon le temps disponible) quaux autres candidats post-quantiques (Dilithium Falcon). Ce travail permettra de guider les choix darchitecture pour nos futurs systèmes embarqués sécurisés.

Quelles seront vos missions

Le découpage prévu du projet est le suivant :

1. Phase 1 État de lart et préparation

2. Phase 2 Portage et optimisations éventuelles

3. Phase 3 Analyse comparative et documentation

Avec en particulier les missions suivantes :

• Porter et adapter les implémentations FAEST et/ou HAWK sur microcontrôleur ARM Cortex M7

• Réaliser un benchmarking exhaustif des performances (temps dexécution cycles CPU mémoire RAM/Flash stack usage)

• Comparer les résultats avec les signatures classiques (ECDSA RSA) et post-quantiques (Dilithium Falcon)

• Optionnel : identifier les goulots détranglement et proposer des optimisations spécifiques au Cortex M7

• Documenter les résultats sous forme de rapport technique et de publications scientifiques

• Documenter les méthodologies de crypto-agilité rencontrées dans létat de lart et éventuellement mises en œuvre sur le projet

Quel est lenvironnement technique

• Stack technique : C/C architecture ARM Cortex-M (idéalement M7) Python pour le scripting Git

• Écosystème : toolchain ARM GCC debuggers analyseurs de performances

Quelle équipe et quelle méthodologie

• Équipe : Intégré dans léquipe de R&I (Recherche & Innovation) dans nos locaux de La Garenne-Colombes

• Encadrement : experts cyber et embarqué

• Infos supplémentaires : Stage de préembauche

Vous êtes...

• Vous êtes en dernière année décole dingénieur ou équivalent universitaire en développement embarqué ou cybersécurité

• Vous recherchez un stage en cybersécurité dans un contexte embarqué et post-quantique

• Vous avez des compétences générales en chiffrement développement embarqué

• Vous avez déjà réalisé plusieurs projets en embarqué sous Linux

• Vous avez un bon niveau en anglais (oral et écrit)

• Vous possédez dexcellentes compétences en communication interpersonnelle et en collaboration déquipe

• Vous êtes avide de challenge De technique

• Vous avez un sens critique Un sens du service Un esprit de synthèse Une rigueur et une organisation dans vos projets

Si vous vous reconnaissez alors nhésitez plus et rejoignez nos équipes pour une nouvelle aventure !

Nous cherchons aujourdhui nos futurs stagiaires