Constructions à sécurité CCA pour le FHE

CEA; Saclay; Sur place; EUR 25 000 - 45 000; Plein temps

Résumé du poste

Une entreprise innovante recherche un doctorant pour travailler sur des défis technologiques liés au chiffrement homomorphe. Ce projet de thèse se concentrera sur la conception de schémas cryptographiques pratiques qui offrent malléabilité et sécurité CCA, en s'appuyant sur des recherches récentes. Vous aurez l'opportunité de contribuer à des avancées significatives dans le domaine de la cryptographie, tout en collaborant avec des experts de l'industrie. Si vous êtes passionné par la sécurité informatique et souhaitez explorer des concepts avancés, cette thèse est faite pour vous.

Qualifications

• Formation recommandée en cryptographie avec un M2.
• Connaissances en sécurité CCA et chiffrement homomorphe souhaitées.

Responsabilités

• Concevoir de nouveaux schémas cryptographiques pratiques.
• Améliorer la sécurité du chiffrement homomorphe.

Connaissances

Cryptographie

Sécurité CCA

Chiffrement homomorphe

Formation

M2 Cryptographie

Description du poste

Description du sujet de thèse

Domaine
Défis technologiques

Sujets de thèse
Constructions à sécurité CCA pour le FHE

Contrat
Thèse

Description de l'offre

Le chiffrement homomorphe (FHE) est un corpus de techniques cryptographiques permettant le calcul directement sur les chiffrés. Depuis ses débuts, il y a une quinzaine d'années, le FHE a fait l'objet de nombreuses recherches en vue d'améliorer son efficacité calculatoire. Toutefois, sur le plan de la sécurité, le FHE pose encore de nombreuses questions. En particulier, tous les FHE utilisés en pratique (BFV, BGV, CKKS et TFHE) n'atteignent que le niveau de sécurité CPA (qui permet essentiellement de se prémunir contre des adversaires dit passifs).

Ces dernières années, plusieurs travaux ont donc étudié la sécurité du FHE dans le régime au-delà de CPA et introduit de nouvelles notions de sécurité (CPAD, FuncCPA, vCCA, vCCAD, ...). Ces travaux ont conduit à de nouvelles attaques, de nouvelles constructions et, globalement, une meilleure compréhension de la sécurité du FHE dans ce régime.

Concernant la sécurité CCA, des travaux très récents (2024) ont défini de nouvelles notions strictement plus fortes que CCA1 et ont démontré qu'elles pouvaient en théorie être atteintes par des schémas FHE exacts ou approchés. Avec ces avancées comme point de départ, la présente thèse visera à concevoir de nouveaux schémas cryptographiques pratiques offrant à la fois de la malléabilité et des propriétés de sécurité CCA, au moins pour des applications spécifiques.

Université / école doctorale
Sciences et Technologies de l'Information et de la Communication (STIC)
Paris-Saclay

Localisation du sujet de thèse
Site
Saclay

Critères candidat

Formation recommandée
M2 Cryptographie

Demandeur

Disponibilité du poste
01/10/2025

Personne à contacter par le candidat
SIRDEY Renaud
[e-mail]
CEA
DRT/DSCIN/DSCIN/LCYL
CEA Saclay Nano-INNOV
Institut CARNOT CEA LIST
DRT/LIST/DSCIN/LCYL
Point courrier n° 172
F-91191 Gif-sur-Yvette Cedex
01 69 08 45 42

Tuteur / Responsable de thèse
SIRDEY Renaud
[e-mail]
CEA
DRT/DSCIN/DSCIN/LCYL
CEA Saclay Nano-INNOV
Institut CARNOT CEA LIST
DRT/LIST/DSCIN/LCYL
Point courrier n° 172
F-91191 Gif-sur-Yvette Cedex
01 69 08 45 42

En savoir plus