Offre d'emploi Stage - Cryptographe homomorphe - Industie - Grenoble

Au sein du département R&D de CS GROUP (CS Research Lab), vous interviendrez sur la cryptographie homomorphe au service du calcul scientifique.

Ce stage de fin d'études pourra se poursuivre par une thèse rattachée au CS Research Lab.
À l’heure de la généralisation des calculs externalisés, de nombreuses entreprises se

posent la question de préserver la confidentialité de ses données tout en faisant exécuter

par un opérateur extérieur des calculs industriels utilisant ces données. La cryptographie

homomorphe est un domaine en plein essor qui peut répondre à cette problématique.

Elle consiste en effet à chiffrer des données afin de préserver leur confidentialité, tout en

permettant de faire des calculs sur les données chiffrées, "en aveugle", c’est-à-dire sans les

déchiffrer. Mathématiquement parlant, l’opération de chiffrement commute avec le calcul

que l’on veut effectuer sur la donnée. La cryptographie homomorphe permet donc de séparer

le détenteur des données de la personne qui fait le traitement des données.


Beaucoup d’efforts sont actuellement consacrés à l’utilisation du calcul homomorphe

pour des applications de type machine learning ou deep learning, mais nettement moins de

travaux ont été faits pour l’appliquer au calcul scientifique. L’objectif de ce stage est d’aller

dans cette direction. Pour débuter, on cherchera à faire tourner en homomorphe quelques

problèmes modèles d’analyse numérique des EDPs. On pourra examiner dans un premier

temps des problèmes linéaires, stationnaires ou dépendants du temps. La particularité du

calcul homomorphe est qu’un bruit est rajouté au message chiffré. Ce bruit évolue au cours

des calculs, en augmentant, et s’il dépasse une certaine limite le déchiffrement n’est plus

correct : on a alors perdu la donnée. L’un des enjeux du calcul homomorphe est donc le

contrôle de ce bruit, une problématique qui se marie bien avec les techniques usuelles de

l’analyse numérique, par exemple les études de stabilité de schémas.


Ce stage se situe donc à l’interface entre deux disciplines apparemment éloignées mais

qui posent des questions similaires, comme cette gestion du bruit en homomorphe et les

stabilités de méthodes numériques. Une formation solide dans au moins l’une des deux

disciplines sera nécessaire pour l’aborder : cryptographie sur réseaux euclidiens ou analyse

numérique des EDPs. Le stagiaire complètera ses connaissances au cours du stage dans

la discipline complémentaire. Ce stage s’effectuera au sein de l’entreprise Sopra Steria/CS

Group, entre le CS Research Lab (situé sur le plateau de Saclay) et le centre de Grenoble

de CS Group. Les modalités précises seront définies entre les encadrants et le stagiaire.

Nous recherchons une personne en cours de formation Bac+5 (Universitaire ou école d'ingénieurs) dans un domaine similaire au sujet de stage : Cryptographie, Maths appliquées/Maths numériques, Méthodes numériques, informatique.
Evidemment, un grand intérêt pour les mathématiques est attendu et nécessaire pour s'épanouir sur le sujet.
Compétences importantes pour la réussite du stage : 

- Être force de proposition

- S’intégrer dans une domaine scientifique complexe

- Esprit analytique et rigueur dans la résolution de problèmes complexes.

- Bonne communication pour travailler en équipe et avec des interlocuteurs pluridisciplinaires.

- Force de proposition.