Stage en cryptologie et méthodes formelles-Saclay-H/F
Enregistrez cette offre et organisez votre recherche
Créez un compte gratuit pour enregistrer des offres d'emploi, créer des alertes et revenir à cette liste depuis votre tableau de bord.
En continuant, vous acceptez nos Conditions d’utilisation & Politique de confidentialité.
- Fully Homomorphic Encryption) est une technique cryptographique relativement récente permettant d'effectuer des calculs directement sur des données chiffrées. Ceci permet à des utilisateurs d’envoyer des données à un serveur distant (« cloud ») capable de les manipuler sans les connaître. Certaines applications concrètes du chiffrement homomorphe nécessitent des modèles de sécurité allant au-delà du modèle classique CPA (tel que CPAD). En effet, pour les schémas de chiffrement homomorphes habituellement utilisés (ceux basés sur LWE [ 1 ]), les chiffrés contiennent un bruit dont la distribution varie au furet à mesure des opérations homomorphes appliquées dessus. Dans de tels contextes, l'attaquant essaie d'inférer de l'information sensible à partir de ce bruit [ 2 , 3 ]. L’application des méthodes formelles à la sécurité du chiffrement homomorphe est un domaine encore peu étudié [ 4 ]. Or, les méthodes formelles proposent une façon systématique de modéliser et vérifier la sécurité d'un système. Ainsi, l'objectif de ce stage est d'étudier des exécutions réelles d’attaques dans ces modèles spécifiques au FHE : on souhaiterait en extraire des signatures comportementales, afin de reconnaître suffisamment tôt qu’une série d’exécutions évolue vers une attaque. Qu'attendons-nous de vous? Les travaux effectués durant ce stage pourraient inclure :
• mise à niveau sur le FHE et les problématiques associées;
• mise à niveau sur les méthodes formelles et les modèles de sécurité spécifiques au FHE ;
• choix et prise en main d'un outil formel adapté ;
• synthèse formelle de l'adversaire dans le modèle CPAD à l'aide de l'outil choisi ;
• tests et étude des résultats expérimentaux ;
• réflexion sur des moyens d'automatiser des contre-mesures. Conformément aux engagements pris par le CEA en faveur de l'intégration des personnes handicapées, cet emploi est ouvert à toutes et à tous. Le CEA propose des aménagements et/ou des possibilités d'organisation pour l'inclusion des travailleurs handicapés. # Cea-List Moyens / Méthodes / Logiciels crytptographie, programmation, LaTeX Profil du candidat Profil : Bac+5 en informatique Localisation du poste Site Saclay Localisation du poste France, Ile-de-France, Essonne (91) Ville Saclay Critères candidat Langues
• Français (Courant)
• Anglais (Intermédiaire) Diplôme préparé Bac+5
- Master 2 Formation recommandée MASTER 2 ou équivalent école d'ingénieurs en informatique Possibilité de poursuite en thèse Non Demandeur Disponibilité du poste 01/02/2027
-
Saclay, Île-de-France CEA Temps plein 12 000 € - 18 000 € ContratStage Pruning de tokens quantization-aware pour Vision Transformers embarqués -Saclay-H/F Description du poste Sciences pour l'ingénieur Intitulé de l'offre Stage Pruning de tokens quantization-aware pour Vision Transformers embarqués -Saclay-H/F Sujet de stage Dans un contexte d'IA embarquée en constante évolution, vous travaillerez sur l'optimisation...
-
Stage Steering LLM to inhibit biases- Saclay-H/F
Il y a 2 semaines
Saclay, Ile-de-France CEA Temps pleinPosition description Category Engineering science Contract Internship Job title Stage Steering LLM to inhibit biases- Saclay-H/F Subject Multimodal Large Language Models (LLMs) are increasingly capable of processing and integrating information from multiple modalities, including text, images, audio, and speech. However, these models can inherit and...
-
Saclay, Ile-de-France CEA Temps pleinPosition description Category Mathematics, information, scientific, software Contract Internship Job title Stage From Gen-AI grasp synthesis to bimanual robotic manipulation-Saclay-H/F Subject From Gen-AI grasp synthesis to bimanual robotic manipulation H/F This internship bridges the gap between state-of-the-art generative grasp planners and...
-
Stage IA de confiance
Il y a 4 semaines
Saclay, Ile-de-France CEA Temps pleinEn tant que stagiaire au CEA, vous aurez l'opportunité de travailler au sein d'un environnement de recherche de renommée mondiale. Nos équipes sont composées d'experts passionnés et dédiés, offrant un cadre propice à l'apprentissage et à la collaboration. Vous aurez accès à des équipements de pointe et à des ressources de...
-
Saclay, Île-de-France CEA Temps plein 90 000 € - 130 000 € ContratIngénieur chercheur en informatique quantique pour le développement de la pile logicielle H/FDescription du posteMathématiques, information scientifique, logicielIntitulé de l'offreIngénieur chercheur en informatique quantique pour le développement de la pile logicielle H/FStatut du posteDescription de l'offre« Rejoignez le CEA pour donner du sens à...
-
Saclay, Ile-de-France CEA Temps plein« Rejoignez le CEA pour donner du sens à votre activité, mener et soutenir des projets de R&D nationaux et internationaux, cultiver et faire vivre votre esprit de curiosité. » EN SYNTHESE, QU'EST-CE QUE NOUS VOUS PROPOSONS ? Le Commissariat à l'Énergie Atomique et aux Énergies Alternatives (CEA) recherche un(e) Contrôleur(euse)...
-
Saclay, Ile-de-France CEA Temps plein« Rejoignez le CEA pour donner du sens à votre activité, mener et soutenir des projets de R&D nationaux et internationaux, cultiver et faire vivre votre esprit de curiosité. » EN SYNTHESE, QU’EST-CE QUE NOUS VOUS PROPOSONS? LeCommissariat à l'ÉnergieAtomique et auxÉnergiesAlternatives (CEA) recherche un(e) Contrôleur(euse) Financier(e). Vous...
-
Stage en cryptologie et méthodes formelles-Saclay-H/F
Il y a 12 heures
Saclay - France, Ile-de-France, Essonne (91) CEA Temps pleinInformations 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...
-
Saclay - France, Ile-de-France, Essonne (91) CEA Temps pleinInformations 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...
-
Gif-sur-Yvette/Saclay - France CEA Temps pleinInformations 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...