Combiner chiffrement homomorphe (HE) et preuves de connaissance H/F
Stage Palaiseau (Essonne)
Description de l'offre
Détail de l'offre
Informations générales
Entité de rattachement
Le CEA est un acteur majeur de la recherche, au service des citoyens, de l'économie et de l'Etat.Il apporte des solutions concrètes à leurs besoins dans quatre domaines principaux : transition énergétique, transition numérique, technologies pour la médecine du futur, défense et sécurité sur un socle de recherche fondamentale. Le CEA s'engage depuis plus de 75 ans au service de la souveraineté scientifique, technologique et industrielle de la France et de l'Europe pour un présent et un avenir mieux maîtrisés et plus sûrs.
Implanté au cœur des territoires équipés de très grandes infrastructures de recherche, le CEA dispose d'un large éventail de partenaires académiques et industriels en France, en Europe et à l'international.
Les 20 000 collaboratrices et collaborateurs du CEA partagent trois valeurs fondamentales :
• La conscience des responsabilités
• La coopération
• La curiosité
Référence
2024-33012Description de l'unité
Au sein de CEA Tech, le pôle « recherche technologique » du CEA, l'Institut List dédie ses activités aux systèmes numériques intelligents avec des programmes de R&D dans le manufacturing avancé, les systèmes embarqués, et l'intelligence ambiante.
Nous accompagnons nos partenaires dans les domaines des transports, de l'industrie, de l'énergie, de la santé, de la sécurité et de la défense, pour transférer les technologies issues de l'innovation et améliorer leur compétitivité.
Le Laboratoire pour la Confiance des sYstèmes de calcuL (LCYL) de l'institut LIST consacre une partie de ses activités de recherche à l'apprentissage automatique préservant la confidentialité selon un schéma de chiffrement entièrement homomorphe avec calcul vérifiable.
Description du poste
Domaine
Mathématiques, information scientifique, logiciel
Contrat
Stage
Intitulé de l'offre
Combiner chiffrement homomorphe (HE) et preuves de connaissance H/F
Sujet de stage
Le chiffrement homomorphe (HE- Homomorphic Encryption) est un type de chiffrement qui permet d'effectuer des calculs directement sur les textes chiffrés. L'objectif principal du chiffrement homomorphe est d'externaliser les calculs sur les données tout en préservant la confidentialité. Toutefois, les systèmes de chiffrement homomorphes n'offrent aucune garantie d'intégrité ni sur le calcul ni sur les données en entrée.
L'objectif du stage est d'implementer un ou plusieurs protocoles cryptographiques (en fonction de l'avancement des travaux) garantissant l'intégrité pour des applications utilisant le chiffrement homomorphe.
Durée du contrat (en mois)
[4 à 6 mois]
Description de l'offre
L'offre :
Le chiffrement homomorphe (HE) est un type de chiffrement qui permet d'effectuer des calculs directement sur les textes chiffrés. L'objectif principal du HE est d'externaliser les calculs sur les données tout en préservant la confidentialité. Toutefois, les schémas homomorphes n'offrent aucune garantie d'intégrité ni sur le calcul ni sur les données en entrée. C'est pourquoi nous envisageons souvent le cas où le serveur sur lequel les calculs sont effectués est « semi-honnête ». Un serveur « semi-honnête » fait exactement ce qu'il est censé faire (c'est-à-dire effectuer les calculs demandés dans le cas des calculs homomorphes), mais essaie d'obtenir autant d'informations que possible sur les entrées privées. Malheureusement, cette hypothèse est trop forte pour les applications réelles, et nous voulons être en mesure de nous placer dans le cas d'un serveur malveillant. C'est alors que les preuves de connaissance, en particulier les preuves NIZK (Non-Interactive Zero-Knowledge proofs), viennent à la rescousse. Nous voulons fournir des garanties de sécurité plus générales pour les protocoles basés sur le chiffrement homomorphe, même pour les attaquants qui ne sont pas le serveur effectuant les calculs.
L'objectif du stage sera d'implémenter au moins un des « protocoles » suivants :
- Une preuve de connaissance du message en clair (preuve de chiffrement) pour des chiffrés frais en utilisant un NIZK, par exemple https://eprint.iacr.org/2023/800.pdf
- Un Rinocchio (lite) compatible avec la librairie openFHE permettant d'assurer l'intégrité du calcul FHE (https://eprint.iacr.org/2021/322.pdf)
- Une simulation du protocole TEE (Trusted Execution Environment) permettant l'utilisation de schémas FHE/HE et d'un NIZK plus légers.
- Une construction plus sûre telle que décrite ici : https://eprint.iacr.org/2024/812.pdf
Description du poste :
Au sein de LCYL vous travaillerez avec une équipe de cryptographie d'environ 16 personnes.
Vous serez amené à travailler sur des projets stimulants et innovants.
Vous ajouterez votre touche sur des missions de type :
- Réaliser un état de l'art sur le chiffrement homomorphe et le NIZK
- Prise en main de la librairie openFHE et des outils nécessaires pour les NIZK
- Implémentation des schémas de preuve sur des messages en clair et/ou calcul vérifiable
- Intégration et tests de performance
- (bonus) Rédaction d'un article scientifique en lien avec les travaux du stage
En fonction des attendus de votre école, les sujets pourront être discutés.
Moyens / Méthodes / Logiciels
C/C++
Profil recherché
Profil du candidat
Qu’attendons-nous de vous ?
Vous préparez un diplôme de niveau M2 ou equivalent dans le domaine Informatique ou Mathématiques appliquées.
Conformément aux engagements pris par le CEA en faveur de l’intégration de personnes en situation de handicap, cet emploi est ouvert à tous et toutes.