Emplois actuels liés à Stage M2 Verification Protocoles - Grenoble, Auvergne-Rhône-Alpes - CEA
-
CAD Engineer for Design Verification
il y a 7 jours
Grenoble, Auvergne-Rhône-Alpes, France Qualcomm Temps plein*Company:*Qualcomm France S.A.R.L.*Job Area:*Engineering Group, Engineering Group > ASICS Engineering*General Summary:About Us*Qualcomm is a global leader in wireless technology, driving innovation and shaping the future of connectivity. We are looking for talented and motivated individuals to contribute to cutting-edge projects and help us continue to lead...
-
Stage en microscopie électronique
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...
-
Grenoble, Auvergne-Rhône-Alpes, France CEA Temps pleinNous rejoindre, pour quoi faire ?Au sein de notre laboratoire d'une vingtaine de personnes spécialisé dans la caractérisation électro-optique des photodiodes et imageurs infrarouge en tant que stagiaire M1 ou M2, votre rôle consistera à :Analyser les données expérimentales et les mettre en forme pour la modélisation,Se familiariser et améliorer le...
-
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 BAC +4/5
il y a 6 jours
Grenoble, Auvergne-Rhône-Alpes, France bioMerieux Temps pleinStage BAC +4/5 - R&D biologie moléculaire - F/H/DLocalisation: Grenoble, FranceType de Contrat: StageFonction: Bioscience R&DActeur mondial dans le domaine du diagnostic in vitro depuis plus de 60 ans, bioMérieux offre des solutions de diagnostic qui déterminent l'origine d'une maladie ou d'une contamination pour améliorer la santé des patients et...
-
STAGE - Traitement des données sûreté F/H
il y a 7 jours
Grenoble, Auvergne-Rhône-Alpes, France EDF Temps pleinCette année, soyez l'un des 6500 stagiaires à rejoindre le Groupe EDF 90% des étudiants recommandent l'entreprise à l'issue de leur alternance ou de leur stage.Découvrez en images nos orientations et nos valeurs sur la chaîne YouTube EDF : Votre environnementL'équipe MRO (Maîtrise des Risques Opérationnels) intervient sur les volets Santé,...
-
Stage Master
il y a 6 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 - Business Analyst - Services Publics - Grenoble
il y a 1 semaine
Grenoble, Auvergne-Rhône-Alpes, France Sopra Steria Temps plein 20 000 € - 25 000 € par anDescription 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 plein 30 000 € - 50 000 € par anInformations 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
