Multipath-based Cooperative Simultaneous Localization & Mapping through Machine Learning
The goal of this PhD is to explore the potential of machine learning (ML) tools for simultaneous localization and mapping (SLAM) applications, while leveraging multipath radio signals between cooperative wireless devices. The idea is to identify characteristic features of the propagation channels observed over multiple radio links, so as to jointly determine the relative positions of the mobile radio devices, as well as those of scattering objects present in their vicinity. Such radio features typically rely on the arrival times of multipath echos of the transmitted signals. The envisaged approach is expected to benefit from multipath correlation as the radio devices are moving, as well as from spatial diversity and information redundancy through multi-device cooperation. The developed solution will be evaluated on both real measurements collected with integrated Ultra Wideband devices in a reference indoor environment, and synthetic data generated with a Ray-Tracing simulator. Possible applications of this research concern group navigation in complex and/or unknown environments (incl. fleets of drones or robots, firefighters…).
HW/SW Contracts for Security Analysis Against Fault Injection Attacks on Open-source Processors
This thesis focuses on the cybersecurity of embedded systems, particularly the vulnerability of processors and programs to fault injection attacks. These attacks disrupt the normal functioning of systems, allowing attackers to exploit weaknesses to access sensitive information. Although formal methods have been developed to analyze the robustness of systems, they often limit their analyses to hardware or software separately, overlooking the interaction between the two.
The proposed work aims to formalize hardware/software (HW/SW) contracts specifically for security analysis against fault injection. Building on a hardware partitioning approach, this research seeks to mitigate scalability issues related to the complexity of microarchitecture models. Expected outcomes include the development of techniques and tools for effective security verification of embedded systems, as well as the creation of contracts that facilitate the assessment of compliance for both hardware and software implementations. This approach could also reduce the time-to-market for secure systems.
New machine learning methods applied to side-channel attacks
Products secured by embedded cryptographic mechanisms may be vulnerable to side-channel attacks. Such attacks are based on the observation of some physique quantities measured during the device activity, whose variation may provoke information leakage and lead to a security flaw.
Today, such attacks are improved, even in presence of specific countermeasures, by deep learning based methods.
The goal of this thesis is go get familiarity with semi-supervised and self-supervised Learning state-of-the-art and adapt promising methods to the context of the side-channel attacks, in order to improve performances of the attacks in very complex scenarios. A particular attention will be given to attacks against secure implementations of post-quantum cryptographic algorithms.
Cryptographic security of RISC-V processor enclaves with CHERI
CHERI (Capability Hardware Enhanced RISC Instructions) is a solution for securing the processor against spatial and temporal memory leaks by transforming any pointer into a capability that clearly defines the access limits to the data or instructions addressed.
In this thesis, we propose to enrich CHERI and its control-flow integrity capabilities on a RISC-V application processor, by protecting instructions right up to their execution against any type of modification. Secondly, based on authenticated memory encryption, we will study the possibility of using CHERI to define secure enclaves enabling cryptographic isolation between processes. The processor will be modified so that each process is encrypted with its own key and can have a secure life cycle. All keys must be efficiently protected in hardware.
Contact : olivier.savry@cea.fr
Topologic optimization of µLED's optical performance
The performance of micro-LEDs (µLEDs) is crucial for micro-displays, a field of expertise at the LITE laboratory within CEA-LETI. However, simulating these components is complex and computationally expensive due to the incoherent nature of light sources and the involved geometries. This limits the ability to effectively explore multi-parameter design spaces.
This thesis proposes to develop an innovative finite element method to accelerate simulations and enable the use of topological optimization. The goal is to produce non-intuitive designs that maximize performance while respecting industrial constraints.
The work is divided into two phases:
Develop a fast and reliable simulation method by incorporating appropriate physical approximations for incoherent sources and significantly reducing computation times.
Design a robust topological optimization framework that includes fabrication constraints to generate immediately realizable designs.
The expected results include optimized designs for micro-displays with enhanced performance and a methodology that can be applied to other photonic devices.
Combining over and underapproximation of memory abstractions for low-level code analysis
Rice's theorem stating that no method can automatically tell whether a property of a program is true or not has led to the separation of verification tools into two groups: sound tools operating by over-approximation, such as abstract interpretation, are able to automatically prove that certain properties are true, but are sometimes unable to conclude and produce alarms; conversely, complete tools operating by under-approximation, such as symbolic execution, are able to produce counter-examples, but are unable to demonstrate whether a property is true.
*The general aim of the thesis is to study the combination of sound and complete methods of programanalysis, and in particular static analysis by abstract interpretation and the generation of underapproximated formulae by symbolic execution*.
We are particularly interested in the combination of over- and sub-approximating abstractions, especially for memory. The priority applications envisaged concern the analysis of code at the binary level, as achieved by the combination of the BINSEC and CODEX analysis platforms, so as to automatically discover new security vulnerabilities, or prove their absence.
Study and evaluation of silicon technology capacities for applications in infrared bolometry
Microbolometers currently represent the dominant technology for the realization of uncooled infrared thermal detectors. These detectors are commonly used in the fields of thermography and surveillance. However, the microbolometer market is expected to grow explosively in the coming years, particularly with their integration into automobiles and the proliferation of connected devices. The CEA Leti LI2T, a recognized player in the field of infrared thermal detectors, has been transferring successive microbolometer technologies to the industrial partner Lynred for over 20 years. To remain competitive in this growing market for microbolometers, the laboratory is working on breakthrough microbolometers incorporating CMOS components as the sensitive element. In this context, the laboratory has initiated studies focusing on temperature-dependent silicon technology capabilities, with promising initial results not reported in the literature. The thesis topic fits into this context and aims to demonstrate the interest of these components for microbolometric applications. It will therefore cover the analytical modeling of these components and their associated physical effects, as well as the reading of such a component in a microbolometer imager approach. A reflection on technological integration will also be conducted. The student will benefit from several already realized technological lots to experimentally characterize the physical effects and familiarize themselves with the subject. To understand the encountered phenomena, the student will have access to the laboratory's entire test set-ups (semiconductor parameter tester, noise analyzer, optical bench, etc.) as well as the numerical analysis Tools (Matlab/Python, TCAD simulations, SPICE simulations, Comsol, etc.). By the end of the thesis, the student will be able to address the question of the interest of these components for microbolometric applications.
Characterization of motor recovery in stroke patients during a BCI-guided rehabilitation
Brain-computer interfaces (BCIs) make it possible to restore lost functions by allowing individuals to control external devices through the modulation of their brain activity. The CEA has developed a BCI technology based on the WIMAGINE implant, which records brain activity using electrocorticography (ECoG), along with algorithms for decoding motor intentions. This technology was initially tested for controlling robotic effectors such as exoskeletons and spinal cord stimulation devices to compensate for severe motor impairments. While this initial paradigm of substitution and compensation is promising, a different application potential is now emerging: functional recovery through BCI-guided rehabilitation. Current literature suggests that BCIs, when used intensively and in a targeted manner, can promote neural plasticity and, in turn, improve residual motor abilities. In particular, ECoG-based implanted BCIs could offer significant therapeutic outcomes. The objective of this thesis is therefore to assess the potential of CEA's BCI technology to enhance patients' residual motor functions through neural plasticity.
This work will be approached through a rigorous and multidisciplinary scientific methodology, including a comprehensive review of the scientific literature, the setup and execution of experimentations with patients, the algorithmic development of tools for monitoring and analyzing patient progress, and the publication of significant results in high-level scientific journals.
This PhD is intended for a student specializing in biomedical engineering, with expertise in signal processing and the analysis of complex physiological data, as well as experience in Python or Matlab. A strong interest in clinical experimentation and neuroscience will also be required. The student will work within a multidisciplinary team at CLINATEC, contributing to cutting-edge research in the field of BCIs.
Control of trapped electron mode turbulence with an electron cyclotron resonant source
The performance of a tokamak plasma largely depends on to the level of turbulent transport. Trapped electron modes are one of the main instabilities responsible for turbulence in tokamaks. On the other hand, electron cyclotron resonance heating is a generic heating system for tokamaks. Both physical processes rely on resonant interactions with electrons. Non-linear interaction between the resonant processes is theoretically possible. This thesis aims to evaluate the possibility of exploiting this non-linear interaction to stabilize the trapped electron modes instability within tokamak plasmas, using a heating source present on many tokamaks, including ITER. This control technique could improve the performance of certain tokamaks without any extra cost.
The thesis will be based on a theoretical understanding of the two processes studied, will require the use of the gyrokinetic code GYSELA to model the non-linear interactions between resonant processes, and will include an experimental aspect to validate the identified turbulence control mechanism.
Development of algorithms and modeling tools of Low-Energy Critical Dimension Small Angle X-ray Scattering
This PhD will take place at the CEA–LETI, a major European actor in the semiconductor industry, and more precisely, at the Nanocharacterization platform of the CEA–LETI witch offer world-class analytical techniques and state-of-the-art instruments. Our team aims to accompany the industry in the development of new characterization tools and so to meet the metrological needs of future technological nodes. Over the past few years, pioneer developments on a new metrology technique based on hard x-ray scattering called CD-SAXS were done at the PFNC. This technique is used to reconstruct the in-plane and out-of-plane structure of nanostructured thin-films with a sub-nm resolution. In this project, we are looking to extend the CD-SAXS approach leveraging the recent breakthrough in the development of low-energy x-ray sources (A. Lhuillier et al. 1988, Nobel prize 2023) called High Harmonics Generation (HHG) sources. Therefore, you will participate in the development of a new and promising characterization methods called Low-energy critical dimension small angle x-ray scattering. The very first proof of concept of this new measurement was conducted in November 2023.
Mission:
In order to include in the data reduction the measurement specificities of this new approach (multi-wavelength, low energy, …) your mission will focus on several aspects to explore in parallel:
- Develop new modeling tools to analyze the data:
o Finite element simulations with Maxwell solver
o Analytical Fourier Transform (similar to standard CD-SAXS) vs dynamical theory
o Comparison between the two approaches
- Build new models dedicated to lithography problematic (CD, overlay, roughness)
- Define the limitations of the technique through the simulation (in term of resolution (nm), uncertainty)
This work will support the development of CD-SAXS measurements with a laboratory HHG (High Harmonic Generation) source lead by a Postdoctoral fellow.