Message > Développement de méthodes d'optimisation de circuits booléens pour la cryptographie homomorphe

  • Forum 'Stages' - Sujet créé le 04/12/2018 par Sergiu Carpov (82 vues)


Le 04/12/2018 par Sergiu Carpov :

Description de l'offre

Un système de chiffrement homomorphe permet d'exécuter un ensemble complet d'opérations logiques - AND et XOR - directement sur des données chiffrées c'est à dire sans les déchiffrer. Pour aider le développeur à utiliser  cette technologie, le CEA LIST a développé l'outil Open source Cingulata qui permet d'exécuter homomorphiquement des programmes écrits dans un langage de haut niveau (C++). En effet, cet outil permet de transformer le code source de haut niveau dans un circuit boléen équivalent et d'exécuter ce circuit sur des données chiffrées. Grâce à cet outil, certaines entreprises peuvent ainsi fournir des services sur des données d'utilisateurs tout en préservant leur vie privée. Ces méthodes intéressent différents domaines d'application, tels que médical, l'industrie du futur ou la publicité ciblée. Néanmoins, les performances des implémentations actuelles ne permettent pas encore de pouvoir déployer ces services à grande échelle. En effet, les calculs en homomorphe induisent par construction du bruit. Ce bruit tend à augmenter avec la complexité des calculs effectués et les performances de calcul sont ainsi détériorées.

L'objectif du stage est de proposer et de développer des réécritures de circuits booléens afin de minimiser le bruit induit et ainsi améliorer les performances des cryptosystèmes homomorphes.

Le but du stage est de développer un outil d'optimisation des circuits booléens spécifique aux contraintes de la cryptographie homomorphe. Parmi les différentes étapes à atteindre, on peut mentionner :

  • compréhension de l'outil Cingulata permettant la transformation des applications sur les données chiffrées de manière homomorphe en circuits booléens
  • identification des contraintes liées à l'exécution des circuits booléens en homomorphe et modélisation du problème d'optimisation à résoudre
  • étude de l'art sur des algorithmes d'optimisation existants pour les calculs booléens
  • comparaison et analyse de différents choix pour les algorithmes de résolution du problème d'optimisation identifié précédemment
  • implémentation et validation de l'algorithme d'optimisation mettant en œuvre la solution retenue

 

Profil du candidat

  • Vous êtes en formation Bac + 5 (Master ou Ecole d'ingénieur)
  • Vous possédez des connaissances en optimisation , circuits logiques, cryptographie homomorphe

 

Contact

AUBRY Pascal

Mail: p.aubry@cea.fr

https://www.emploi.cea.fr/offre-de-emploi/emploi-stage-developpement-de-methodes-d-optimisation-de-circuits-booleens-pour-la-cryptographie-ho-h-f_7643.aspx

 







Moteur de recherche