ANR-POPPower-Off laser attacks on security Primitives

Funding: Appel à projets générique 2021 (AAPG 2021)
48-month project (2021-2025)

The main goal of this project is to guarantee the integrity of hardware security primitives against power-off attacks. It will be achieved in two main steps:
1. assessing and modelling of power-off laser attacks on an experimental basis;
2. developing and validating countermeasures against this type of attacks.

Partners

• Mines Saint-Etienne, Centre Microélectronique de Provence (Coordinateur)
• Université Grenoble Alpes, TIMA
• Université Grenoble Alpes, LCIS
• Université Jean Monnet, Lab. H. Curien

Contact
fischer (at) univ-st-etienne.fr

ANR-Archi-SecMicro-Architectural Security

Funding: ANR AAP Générique 2019
42-month project (2019-2023)

Attacks exploiting micro-architectural vulnerabilities, such as Meltdown, Spectre, Rowhammer etc, are on the rise. Modern day SoCs see an increase in complex design features, such as Branch Prediction, Out-of-Order execution, Cache coherency protocols, integrated GPUs/FPGAs, new non volatile memories. The security aspect of these new architectures and technologies remain under-studied. This project aims at modeling the architectural problems with a virtual platform based on gem5. it will be used for penetration testing, evaluate the performance cost of countermeasures, anticipate new attacks and propose protections. These latter are validated on platforms based on ARM and RISC-V processors. The major impact of this project will be through the creation of a community around our virtual platform.

Partners

• Telecom ParisTech (Coordinateur)
• Université Jean Monnet, Lab. H. Curien
• Université de Montpellier, LIRMM
• CNRS, IRISA,
• Secure-IC

Contact
lilian.bossuet (at) univ-st-etienne.fr

Safe-AirSafety Evaluation of Aircraft Systems using Virtual Platforms

Fundings : Projet région AURA appel à projet 2017
40-month project (2017/2021)

Confronted  with  increasingly  stringent  requirements  for  certification  in  operational  safety, companies in the field of transport are looking for new methods to assess the robustness of complex digital integrated systems. In particular, our industrial partners in this project, THALES Valence and AEDvices consulting, are interested in the robustness of flight systems used in aeronautics. Integrated systems, due to the evolution of technologies, are increasingly sensitive to disturbances caused, for example, by atmospheric particles. Beyond aeronautical systems and transport systems in general (automotive, railway, etc.), the results of this project concern all the integrated systems used in critical applications: energy generation systems (nuclear power plant), medical implants...  
The aim of the project is to propose a new approach to allow a more precise evaluation of the level of robustness of critical complex digital systems very early in development.

Partners 

• INP Grenoble LCIS (Coord.)
• INP Grenoble TIMA
• Lab. H. Curien
• THALES Avionics
• AEDvices consulting

Contact
lilian.bossuet (at) univ-st-etienne.fr

Convention DGAEtude sur les techniques de mesure embarquée du jitter et leurs implantations dans les circuits électroniques.

Fundings: convention de subvention DGA
48-month project (2016-2019)

The main objective of the project is to study and propose precise modeling of noise sources inside electronic devices and the digital processing of noisy signals in order to propose a stochastic model for different types of P-TRNG principles. The main objective is to give an estimation of the entropy rate per bit.
After studying existing models and/or new proposals, we expect to propose measurement methods and embedded tests, as close as possible to the entropy source, to guarantee that the generated entropy per bit is sufficient.
One very important part of this work is to propose digital simulations of P-TRNG principle that can be used, knowing the characteristics of an input jitter, to find back these characteristics with the proposed measurement methods and/or embedded tests.

Partners

• Université Jean Monnet, Lab. H. Curien
• Direction générale de l'armement, Bruz

Contact
florent.bernard (at) univ-st-etienne.fr

FUI-TEEVATrusted Execution EVAluation

Funding: 20th FUI – SCS label
36-month project (2015-2018)

The TEEVA plans to evaluate the security of a trust execution environment (TEE) and then to compare this solution with white-box cryptography.

Partners

• GEMALTO (Coordinator),
• Université Jean Monnet, Lab. H. Curien
• Université Montpellier, LIRMM
• Ecoles des Mines de Saint-Etienne
• Trustonic
• PhoneSec

Contact
lilian.bossuet (at) univ-st-etienne.fr

OTAN-SIPQCSecure Implementation of Post-Quantum Cryptography

Fundings : NATO Project SPS (Science for Peace and Security Program)
36-month project (2013/2016)
Web site: http://old2.re-search.info/overview

This project sets out to identify secure parameter sets and implementations for asymmetric encryption and digital signatures in a post-quantum setting:
•    On the cryptanalytic side, our objective is to identify realistic assumptions and parameter sets that can withstand a well-funded attacker, capable of running dedicated and highly optimized cryptanalytic devices.
•    On the implementation side, our objective is to provide implementations which can withstand common side-channel attacks, including physical (power analysis, electromagnetic analysis, etc.) and software-based (e.g., cache analysis).

Partners

• Institute of Computer Science and Mathematics, Slovak University of technology (Coord.)
• Lab. H. Curien
• School of Computer Science, Tel Aviv University (Israël)
• Departement of Mathematical Sciences Florida Atlantic University (USA)

Award
This project was awarded by the 2018 NATO SPS Partnership Prize for excellence in cooperation

Contact
fischer (at) univ-st-etienne.fr