Pause
Lecture
Moteur de recherche d'offres d'emploi CEA

Intégrité pour le chiffrement homomorphe H/F


Détail de l'offre

Informations générales

Entité de rattachement

Le Commissariat à l'énergie atomique et aux énergies alternatives (CEA) est un organisme public de recherche.

Acteur majeur de la recherche, du développement et de l'innovation, le CEA intervient dans le cadre de ses quatre missions :
. la défense et la sécurité
. l'énergie nucléaire (fission et fusion)
. la recherche technologique pour l'industrie
. la recherche fondamentale (sciences de la matière et sciences de la vie).

Avec ses 16000 salariés -techniciens, ingénieurs, chercheurs, et personnel en soutien à la recherche- le CEA participe à de nombreux projets de collaboration aux côtés de ses partenaires académiques et industriels.  

Référence

2021-19366  

Description de l'unité

Le List, institut de CEA Tech focalise ses recherches sur les systèmes numériques intelligents. Porteurs de forts enjeux économiques et sociétaux, ses programmes de R&D sont centrés sur l'intelligence artificielle, l'usine du futur, les systèmes cyberphysiques, le calcul, quantique notamment, et la santé numérique .Le stage se déroulera au LIST, dans le département DSCIN (Département des Systèmes et Circuits Intégrés Numériques) au sein du laboratoire LCYL (Laboratoire pour la Confiance des systèmes de calcul) spécialisé dans le logiciel pour les garanties de sûreté et sécurité appliqué au calcul hétérogène sur systèmes distribués.

Description du poste

Domaine

Mathématiques, information  scientifique, logiciel

Contrat

Stage

Intitulé de l'offre

Intégrité pour le chiffrement homomorphe H/F

Sujet de stage

Le chiffrement homomorphe est une technique cryptographique permettant de réaliser des traitements directement sur des données chiffrées, sans avoir à les déchiffrer. Ainsi, le chiffrement homomorphe reste un des moyens les plus séduisants pour assurer la confidentialité des données lors de leur traitement par des plateformes externalisées (serveur à distance, service dans le nuage). Cependant, même si les résultats du calcul en homomorphe restent cachées vis-à-vis de la plateforme de calcul, il n'y a aucun moyen par défaut de vérifier leur justesse. Une des solutions pour avoir des garanties d'intégrité pour le calcul sur des données chiffrées en homomorphe est d'appliquer des protocoles spécifiques de calcul vérifiable. L'objectif de ce stage est l'étude, l'analyse et l'implémentation de nouveaux schémas de calcul vérifiable sur des données chiffrées en homomorphe.

Durée du contrat (en mois)

6

Description de l'offre

Le chiffrement homomorphe est une des techniques à mettre en place pour assurer la confidentialité des données lors de leur traitement non-sécurisé par une plateforme externe (cloud ou serveur). Un des problèmes avec les solutions actuelles basées sur du chiffrement homomorphe est qu'elles font des hypothèses de sécurité sur la plateforme de calcul souvent trop réductrices. Ainsi, l'hypothèse de sécurité par défaut assume que l'entité qui réalise le calcul est "honnête-mais-curieuse" (ou semi-honnête). De l'autre côté, les systèmes de calcul vérifiable permettent d'associer au résultat d'un calcul la preuve que ce calcul est correct. En plus, les nouveaux schémas de calcul vérifiable permettent d'envisager leur utilisation de manière pratique pour avoir des garanties vis-à-vis d'une plateforme de calcul malhonnête.  Ainsi, ce sujet de stage a comme objectif de concevoir des solutions basées sur du chiffrement homomorphe avec des garanties d'intégrité à l'aide des protocoles récents de calcul verifiable.

Parmi les différentes étapes à atteindre, on pourra citer:

-Etude de l’art de systèmes de calcul vérifiable pour des données chiffrées ainsi que des cryptosystèmes homomorphes existants;

-Analyse de deux protocoles de calcul vérifiable récents et de leurs complexité;

-Choix et implémentation d'un protocole de calcul vérifiable pour des données chiffrées en homomorphe;

-Tests et évaluation des performances du protocoles de calcul vérifiable implémenté;

-(bonus) Application à un cas d'application simple.  

Profil du candidat

  • Niveau: BAC+5 et/ou Master en cybersécurité ou cryptographie 
  • Bonnes connaissances en mathématiques et cryptographie
  • Bon niveau en langages de programmation : C/C++, Python, Sage
  • Bon niveau en anglais

Localisation du poste

Site

Saclay

Localisation du poste

France

Ville

  Palaiseau

Critères candidat

Langues

  • Anglais (Courant)
  • Français (Courant)

Diplôme préparé

Bac+5 - Master 2

Possibilité de poursuite en thèse

Oui

Demandeur

Disponibilité du poste

01/02/2022