stage m2 verification protocoles
il y a 5 jours
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.
*Localisation du poste
Site*
Grenoble
*Localisation du poste*
France, Auvergne-Rhône-Alpes, Isère (38)
Ville
Grenoble
*Critères candidat
Langues*
Anglais (Intermédiaire)
Diplôme préparé
Bac+5 - Diplôme École d'ingénieurs
*Demandeur
Disponibilité du poste*
02/03/2026
-
Stage M2 Verification Protocoles
il y a 2 semaines
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 Chargé d'Affaires Entreprises Adjoint
il y a 2 semaines
Grenoble, Auvergne-Rhône-Alpes, France Crédit Agricole Temps pleinInformations générales Entité Filiale du Groupe Crédit Agricole depuis 2003, LCL est une banque nationale avec plus de 1600 implantations, qui accompagne 6 millions de clients particuliers, professionnels ou privés. Elle est la banque d'une entreprise sur 3.LCL poursuit son ambition de devenir la banque assurance de référence en ville en étant...
-
Stage Bac+5
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 Bac+5
il y a 2 semaines
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 1 semaine
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...
-
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 Atos Temps pleinÀ propos du groupe AtosLe groupe Atos est un leader mondial de la transformation numérique qui emploie environ personnes et réalise un chiffre d'affaires annuel d'environ 10 milliards d'euros. Il est présent dans 67 pays sous deux marques : Atos pour les services et Eviden pour les produits. Numéro un européen de la cybersécurité, du cloud et du...
-
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 EDR ultrafine pour le Li-ion H/F
il y a 2 semaines
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...
