Formal Analysis of Fault-injection Countermeasures
Il y a 2 mois
Position description
**Category**:
- Mathematics, information, scientific, software
**Contract**:
- Internship
**Job title**:
- Formal analysis of fault-injection countermeasures within a secure RISC-V processor H/F
**Subject**:
- The French Alternative Energies and Atomic Energy Commission (CEA) is a key player in research, devel-opment and innovation in four main areas: defense and security, nuclear and renewable energies, tech-nological research for industry, fundamental research in the physical sciences and life sciences. Drawing on its widely acknowledged expertise, the CEA actively participates in collaborative projects with a large number of academic and industrial partners. One of three institutes that comprise CEA Tech, the List institute is committed to technological innovation in digital systems. Within the DSCIN department of CEA List, the LECA and LFIM laboratories invest R&D efforts in the analysis of the robustness of embedded systems against fault-injection attacks.
**Contract duration (months)**:
- 6
**Job description**:
- With the rise of new development models based on open source, secure hardware components are increasingly being developed in public implementations, notably within the OpenHW Group [1]. The possibility of building a complete system from publicly available, open-source components is becoming a reality. For example, the CV32E40S RISC-V processor [2], derived from the CV32E40P [3], incorporates several hardware countermeasures against fault injection and side-channel attacks. However, a significant challenge lies in evaluating both the security level of each individual countermeasure and the overall effectiveness of these countermeasures when combined.In [4], we introduced a method for partitioning hardware designs to formally prove the security guarantees of hardware countermeasures. This approach helps to reduce the residual attack surface that needs to be analyzed when checking vulnerabilities at the software level. However, the types and granularity of the hardware countermeasures in the CV32E40S differ from those discussed in [4].The goal of this internship is to adapt this partitioning methodology to the CV32E40S processor. A key challenge will be composing the produced countermeasure-level partitions to assess the overall security of the processor against a specific fault-injection model. Additionally, the partitioning methodology could be optimized through structural analysis of the hardware circuits, though these potential improvements have not yet been fully evaluated. Benchmarking the impact of these optimizations when building partitions could be another possible outcome of this internship.Opportunities:
- Technical Skills: Develop expertise in formal analysis, security verification, and countermeasures.
- Publication: Potential to publish results in renowned conferences
- Collaboration: Work alongside experienced researchers and engineers from CEA and LIP6
- Resources: Access to state-of-the-art facilities and infrastructure.
**Applicant Profile**:
- This position is aimed at students seeking an ambitious technical internship, eager to gain significant experience in industry-related technological research. It is particularly well-suited to students considering a doctorate, with new funded positions offered each year within the department. The internship is aimed at students in their final year of engineering school (or Master 2) in computer science or microelectronics, or equivalent levels, preferably with a specialization in processor systems/architecture or formal methods. Knowledge of micro-architecture or cybersecurity is an asset, but not a prerequisite. A strong capacity for personal work, ability to work in a team and motivation to take on technical challenges are essential.In line with CEA's commitment to integrating people with disabilities, this job is open to all.Position location
**Site**:
- Saclay
**Job location**:
- France, Ile-de-France, Essonne (91)
**Location**:
- Palaiseau
**Languages**:
- English (Fluent)
**Prepared diploma**:
- Bac+5 - Master of Science
**PhD opportunity**:
- Non
General information
**Organisation**:
The French Alternative Energies and Atomic Energy Commission (CEA) is a key player in research, development and innovation in four main areas:
- defence and security,
- nuclear energy (fission and fusion),
- technological research for industry,
- fundamental research in the physical sciences and life sciences.
Drawing on its widely acknowledged expertise, and thanks to its 16000 technicians, engineers, researchers and staff, the CEA actively participates in collaborative projects with a large number of academic and industrial partners.
The CEA is established in ten centers spread throughout France
**Reference **:2024-33935**Description de l'unité**:
- The French Atomic Energy and Alternative Energies Commission (CEA) is a major player in research, development and innovation. This technological re
-
Application of Formal Methods for Interferences
Il y a 3 mois
Palaiseau, France CEA Temps pleinPosition description **Category**: - Electronics components and equipments **Contract**: - Fixed-term contract **Job title**: - Application of formal methods for interferences management H/F **Socio-professional category**: - Executive **Contract duration (months)**: - 18 **Job description**: - Your main missions will be: - To propose and develop...
-
Benchmarking The Scalability of Model-checker-based
Il y a 4 mois
Palaiseau, France CEA Temps pleinDescription du poste **Domaine**: - Mathématiques, information scientifique, logiciel **Contrat**: - Stage **Intitulé de l'offre**: - Benchmarking the scalability of model-checker-based detection of timing anomalies H/F **Sujet de stage**: - Safety-critical systems such as autonomous vehicles and modern avionic computers have to satisfy strong...
-
Cdd - Engineer in Techno-economic Analysis and
Il y a 7 mois
Palaiseau, France TotalEnergies Temps plein**Pays** France **Lieu** 91 - Essonne **Lieu de travail** PALAISEAU-ROUTE DE SACLAY(FRA) **Domaine** Recherche Innovation&Développt, Stratégie Economie Business **Type de contrat** CDD **Expérience** Minimum 3 ans - You have an engineering or doctoral training in the field of renewable energies or physics/chemistry. You have knowledge of...
-
Assistant/associate Professor of Computational Sociology of Work
il y a 22 heures
Palaiseau, France Institut Mines-Télécom Temps plein**Who are we?** Télécom Paris, a school of the IMT (Institut Mines-Télécom) and a founding member of the Institut Polytechnique de Paris, is one of the top 5 French general engineering schools. The guiding mission of Télécom Paris is to train, imagine and undertake to design digital models, technologies and solutions for a society and economy that...
-
Robust Federated Learning
Il y a 2 mois
Palaiseau, France CEA Temps pleinDescription du poste **Domaine**: - Systèmes d'information **Contrat**: - Stage **Intitulé de l'offre**: - Robust Federated Learning - Internship H/F **Sujet de stage**: - This internship focuses on the exploration of Multi-Party Computation (MPC) in a Federated Learning setting, particularly under adversarial conditions. The primary aim is to...
-
Multi-view Re-identification of Objects and
Il y a 3 mois
Palaiseau, France CEA Temps pleinDescription du poste **Domaine**: - Autre **Contrat**: - Stage **Intitulé de l'offre**: - Multi-view re-identification of objects and individuals based on 3D representation H/F **Sujet de stage**: - Multi-view re-identification of objects and individuals based on 3D representation **Durée du contrat (en mois)**: - [6 mois] **Description de...
-
Engineer F/m Development of a Framework That
Il y a 4 mois
Palaiseau, France Inria Temps pleinLe descriptif de l’offre ci-dessous est en Anglais_ **Type de contrat **:CDD **Niveau de diplôme exigé **:Bac + 5 ou équivalent **Fonction **:Ingénieur scientifique contractuel **A propos du centre ou de la direction fonctionnelle**: - The Inria Saclay-Île-de-France Research Centre was established in 2008. It has developed as part of the Saclay...
-
Vérification de Propriétés Probabilistes Pour
Il y a 3 mois
Palaiseau, France École polytechnique Temps plein**Vérification de propriétés probabilistes pour l'Intelligence Artificielle // Verification of probabilistic properties for Artificial Intelligence**: - Réf **ABG-126167** **ADUM-59248** - Sujet de Thèse- 08/10/2024- Autre financement public- École polytechnique- Lieu de travail- Palaiseau Cedex - France- Intitulé du sujet- Vérification de...
-
Propriétés Quantifiées D'atteignabilité Pour
Il y a 3 mois
Palaiseau, France École polytechnique Temps plein**Propriétés quantifiées d'atteignabilité pour l'explicabilité garantie en IA // Quantified reachability properties for provably explainable AI**: - Réf **ABG-126168** **ADUM-59253** - Sujet de Thèse- 08/10/2024- Autre financement public- École polytechnique- Lieu de travail- Palaiseau Cedex - France- Intitulé du sujet- Propriétés quantifiées...
-
Global Operations Director
il y a 1 jour
Palaiseau, Île-de-France Bitget Temps pleinAbout BitgetBitget is a leading cryptocurrency trading platform that provides users with one-stop solutions for digital asset management. With a strong focus on innovation and customer satisfaction, we strive to offer the best possible experience for our users.Job DescriptionWe are seeking an experienced Global Operations Director - Digital Asset Exchange to...
-
Motion Guided Object Discovery
Il y a 3 mois
Palaiseau, France CEA Temps pleinDescription du poste **Domaine**: - Mathématiques, information scientifique, logiciel **Contrat**: - Stage **Intitulé de l'offre**: - Motion Guided Object Discovery H/F **Sujet de stage**: **Durée du contrat (en mois)**: - 6 **Description de l'offre**: - In this internship, we propose to improve actual object discovery methods leveraging...
-
Postdoctoral Position in Agricultural or
Il y a 3 mois
Palaiseau, France INRAE Temps plein91120 Palaiseau _ **RETOUR À LA LISTE DES RÉSULTATS** **Présentation INRAE**: **Environnement de travail, missions et activités**: Context: Job description: This postdoctoral position will contribute to the project through the analysis of the socio-economic challenges of climate change mitigation scenarios. His/her main task is to contribute in (i)...
-
Post-doctoral position in Optimizing the selection of Metal Oxide
il y a 4 semaines
Palaiseau, Essonne, France Institut Mines-Télécom Temps pleinABOUT TELECOM SUDPARIS Telecom SudParis is a public graduate school for engineering, which has been recognized on the highest level in the domain of digital technology. The quality of its courses is founded on the scientific excellence of its faculty and on teaching techniques that emphasize project management, innovation and intercultural understanding....
-
Postdoctoral Position in Agricultural or Environmental Economics
il y a 3 semaines
Palaiseau, France INRAE Temps plein_91120 Palaiseau _ **RETOUR À LA LISTE DES RÉSULTATS** **Présentation INRAE**: L’Institut national de recherche pour l’agriculture, l’alimentation et l’environnement (INRAE) est un établissement public de recherche rassemblant une communauté de travail de 12 000 personnes, avec 272 unités de recherche, de service et expérimentales,...
-
Inside Sales Specialist
Il y a 6 mois
Palaiseau, France Malvern Panalytical Ltd Temps pleinROLE: Inside Sales Specialist - EMEA LOCATION: France - Office From table top till floor standing, our analytical systems and solutions help the world’s top researchers do ground-breaking work on the small things that make big things possible. We’re after enquiring minds, imaginative thinkers, solution finders, and proud geeks. Those who are...
-
Stage - Optimisation Des Systèmes énergétiques
il y a 4 semaines
Palaiseau, France TotalEnergies Temps pleinTotalEnergies is a global multi-energy production and supply company: oil and biofuels, natural gas and green gas, renewables and electricity. Its 105,000 employees are committed to making energy ever more affordable, clean, reliable and accessible to as many people as possible. Present in more than 130 countries, TotalEnergies places sustainable development...
-
Application Specialist for Xrf in France
Il y a 7 mois
Palaiseau, France Malvern Panalytical Ltd Temps pleinJob Title: Application Specialist for XRF in France Location: France Reporting Line: Line Manager - Application Manager, France (or Country Manager) We unleash the power of very small things to make big things happen. Join our Team!!! About the role: In this specific role, you are a key contributor in managing the technical and scientific activities...
-
S05 - Video Anomaly Detection and Understanding
Il y a 3 mois
Palaiseau, France CEA Temps pleinDescription du poste **Domaine**: - Autre **Contrat**: - Stage **Intitulé de l'offre**: - S05 - Video Anomaly Detection and Understanding H/F **Sujet de stage**: Unlike One-Class approaches, we will assume some abnormal samples can be used in training (Weakly-Supervised, Few-Shot methods). Beyond detecting anomalies, we will also address the...
-
Quantification Des Propriétés Mécanohydrauliques
Il y a 2 mois
Palaiseau, France École polytechnique Temps plein**Quantification des propriétés mécanohydrauliques des plantes pendant la morphogenèse // Quantifying mechanohydraulic properties of plants during morphogenesis**: - Réf **ABG-126989** **ADUM-59688** - Sujet de Thèse- 19/11/2024- Contrat doctoral- École polytechnique- Lieu de travail- Palaiseau Cedex - France- Intitulé du sujet- Quantification des...
-
Stage Sur La Modélisation Renforcée Par
Il y a 2 mois
Palaiseau, France CEA Temps pleinDescription du poste **Domaine**: - Mathématiques, information scientifique, logiciel **Contrat**: - Stage **Intitulé de l'offre**: - Stage sur la modélisation renforcée par apprentissage H/F **Sujet de stage**: - Apprentissage de modèles qualitatifs par analyse de sensibilité **Durée du contrat (en mois)**: - 6 **Description de...
