Emplois actuels liés à Stage M2 Verification Protocoles - Grenoble, Auvergne-Rhône-Alpes - CEA
-
stage m2 verification protocoles
il y a 7 jours
Grenoble, Auvergne-Rhône-Alpes, France CEA Temps pleinRejoignez-nous en stage En tant que stagiaire au CEA-LETI (Institut de recherche technologique de CEA Tech), 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...
-
Stage en microscopie électronique
il y a 3 jours
Grenoble, Auvergne-Rhône-Alpes, 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 énergétique, transition numérique, technologies pour la médecine du futur, défense et sécurité sur un...
-
Grenoble, Auvergne-Rhône-Alpes, 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 énergétique, transition numérique, technologies pour la médecine du futur, défense et sécurité sur un...
-
STAGE Bac+5
il y a 7 jours
Grenoble, Auvergne-Rhône-Alpes, France CEA Temps pleinLa microfluidique contribue au développement de nouveaux outils de diagnostic et de contrôle qualité avec, en perspective, une médecine au chevet du patient et personnalisée.Dans le cadre du développement d'un dispositif microfluidique dédié à la préparation d'échantillons (lyse de bactéries et purification d'ADN), le stage a pour objectif...
-
Stage Master
il y a 7 jours
Grenoble, Auvergne-Rhône-Alpes, 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 énergétique, transition numérique, technologies pour la médecine du futur, défense et sécurité sur un...
-
Stage - Bac+5 - stage croissance matériaux H/F
il y a 3 jours
Grenoble, Auvergne-Rhône-Alpes, 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 énergétique, transition numérique, technologies pour la médecine du futur, défense et sécurité sur un socle...
-
Stage - Bac+5 - Catalyseurs H/F
il y a 1 semaine
Grenoble, Auvergne-Rhône-Alpes, 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 énergétique, transition numérique, technologies pour la médecine du futur, défense et sécurité sur un...
-
Stage - Business Analyst - Services Publics - Grenoble
il y a 2 semaines
Grenoble, Auvergne-Rhône-Alpes, France Sopra Steria Temps pleinDescription de l'entreprise Sopra Steria, acteur majeur de la Tech en Europe avec collaborateurs dans près de 30 pays, est reconnu pour ses activités de conseil, de services numériques et d'édition de logiciels. Il aide ses clients à mener leur transformation digitale et à obtenir des bénéfices concrets et durables. Le Groupe apporte une réponse...
-
Stage - Bac+5 - Direct Imaging Lithography H/F
il y a 7 jours
Grenoble, Auvergne-Rhône-Alpes, 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 énergétique, transition numérique, technologies pour la médecine du futur, défense et sécurité sur un...
-
Stage - Bac+5 - Direct Imaging Lithography H/F
il y a 5 jours
Grenoble, Auvergne-Rhône-Alpes, 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 énergétique, transition numérique, technologies pour la médecine du futur, défense et sécurité sur un...
Stage M2 Verification Protocoles
il y a 2 semaines
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 collaboratrices et collaborateurs du CEA partagent trois valeurs fondamentales :
• La conscience des responsabilités
• La coopération
• La curiosité
Référence
Description de l'unité
Le Centre d'Évaluation de la Sécurité des Technologies de l'Information (CESTI) mène des activités dans le domaine de l'évaluation sécuritaire de systèmes électroniques, de composants de logiciels embarqués, soit dans le cadre de schémas de certification, par exemple celui piloté par l'Agence Nationale de la Sécurité des Systèmes d'information (ANSSI), soit à la demande directe d'industriels.
Domaine
Sciences pour l'ingénieur
Contrat
Stage
Intitulé de l'offre
STAGE M2 VERIFICATION PROTOCOLES
Sujet de stage
Analyse des vulnérabilités des protocoles sur cible matérielle
Durée du contrat (en mois)
5 à 6 mois
Description de l'offre
Rejoignez-nous en stage
En tant que stagiaire au CEA-LETI (Institut de recherche technologique de CEA Tech), 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 recherche de premier ordre pour mener à bien vos missions.
Vos missions :
Dans le contexte des évaluations sécuritaires effectuées par le CESTI, les évaluateurs sont, entre autres, amenés à tester la résistance des mécanismes cryptographiques embarqués sur une carte à puce face aux attaques physiques, comme par exemple les attaques par perturbation de la puce ou les attaques par observation des signaux compromettants. Dans un contexte applicatif (bancaire, santé, identité), ces mécanismes sont employés au sein de protocoles cryptographiques, tels que des échanges de clés ou des authentifications. Lorsqu'une vulnérabilité est détectée sur un produit, l'évaluateur doit analyser les impacts sur le protocole. Aujourd'hui cette analyse repose sur l'expertise de l'évaluateur, mais l'utilisation de méthodes formelles serait un avantage pour la recherche de chemin d'attaque ou pour garantir une meilleure assurance quant à l'absence d'exploitation de la vulnérabilité.
L'objectif de ce stage est de tester des outils de vérification existants sur des protocoles utilisés dans les applications couramment évaluées.
Travail attendu
Après une analyse bibliographique des outils existants dans la littérature (ProVerif [1], Tamarin[2], …), le candidat traduira le même protocole à l'aide d'une sélection des outils les plus prometteurs. Puis, il examinera les différents moyens pour exprimer une vulnérabilité au sein du protocole, et il testera la capacité de l'outil à analyser formellement ses impacts en identifiant des chemins d'attaque.
Références
[1] Proverif :
[2] Tamarin :
Profil du candidat
QU'ATTENDONS-NOUS DE VOUS ?
Nous recherchons un candidat (BAC+5) curieux et motivé dans le domaine des méthodes formelles, de la cryptographie et/ou de la cybersécurité. De bonnes compétences de développement seront appréciés.
Conformément aux engagements pris par le CEA en faveur de l'intégration des personnes en situation d'handicap, 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.
Site
Grenoble
Localisation du poste
France, Auvergne-Rhône-Alpes, Isère (38)
Ville
Grenoble
Langues
Anglais (Intermédiaire)
Diplôme préparé
Bac+5 - Diplôme École d'ingénieurs
Disponibilité du poste
02/03/2026
