Home > Topics > PACS > Jobs and Internships > Jobs and Internships

Jobs and Internships


PhD Thesis

  • [Funded PhD] Fault Injection Attacks: Automated Analysis of Counter-Measures At The Binary Level

    This doctoral work is part of the RAR TwinSec project (2025-2029), an ambitious French project whose goal is to build a digital twin for multi-fault injection analysis, from hardware to software. Robustness against fault injection can be obtained through the insertion of adequate counter-measures, be it hardware or software, inserted by the developer or by a compiler, or simply offered by a component. In this doctoral work, we focus on software counter-measures, even if the envisioned approaches may be applicable to some forms of hardware protections (e.g., hidden registers or memory).

    More details are provided in the attached document.

  • [Funded PhD] Quantitative analysis of software security against adaptive attacks

    This PhD proposal is funded by the French PEPR Secureval, aiming to develop techniques and tools for software vulnerabilities detection and analysis, to be used within certification processes. It will be co-hosted between the Binsec team of CEA List (Paris Saclay) and Verimag (Grenoble).

    The purpose of this PhD is to enhance existing software vulnerability analysis techniques in order to address complex attack scenarios relying on adaptive strategies allowing to chain several vulnerabilities in order to bypass protections and/or to increase the attacker capabilities and knowledge. A prototype tool is expected to be developed in the BinSec framework, together with a set of relevant benchmarks to evaluate the benefits of the proposed approach in concrete security benchmarks.

    A more detailed description of the subject is provided in the attached document.

    Applications can be sent to the supervisors.

  • [Funded PhD] Annotations de sécurité pour compilateur optimisant formellement vérifié

Jobs in the whole Verimag lab


Contact | Site Map | Site powered by SPIP 4.4.2 + AHUNTSIC [CC License]

info visites 4428497