Current research topics

• Embedded processor security
• Systems-on-Chip secutity
• Hardware security

Previous research topics

• Reconfigurable and self-adaptive multiprocessor architectures

Research Projects

• Labex CominLabs LockOS (2024-2025)

The LockOS project aims at providing a secure platform against cache-based side-channel attacks based on research work performed during the SCRATCHS project.

• ANR SCAMA (2024-2028)

The goal of the SCAMA project is to tackle microarchitectural attacks at the intersection of software and hardware to propose secure-by-design computing

• Labex CominLabs SCRATCHS (2021-2024)

The goal of the SCRATCHS project is to co-design a RISC-V processor and a compiler toolchain to ensure by construction that a security sensitive code is immune to timing side-channel attacks while running at maximal speed

• Labex CominLabs HardBlare (2015-2019)

The general context of the HardBlare project is to address hardware-assisted Dynamic Information Flow Control (DIFC) that generally consists in attaching marks to denote the type of information that are saved or generated within the system. These marks are then propagated when the system evolves and information flow control is performed in order to guarantee a safe execution and storage within the system.

• ANR TSUNAMY (2013-2017)

The TSUNAMY project addresses the problem of secure handling of personal data and privacy in manycore architectures. The TSUNAMY project aims to propose a solution of trust building to execute many independent applications in parallel, safely and ensuring respect for the privacy of users.

• PEPS INS3PECT (2017)

Ingénierie Systèmes de Services Sécurisés pour objets connectés

• PEPS SISC INS2I "HomCrypt" (2017)

Prototyping of a Hardware/Sofware design for homomophic encryption

Ph.D. Graduates

• Maria Méndez Real (2014-2017)
  Spatial Isolation against Logical Cache-based Side-Channel Attacks in Many-Core Architectures

now Associate Professor at IETR-Polytech Nantes

• Vincent Migliore (2014-2017)
  Hardware Cyber-Security and Design of Dedicated Components for Homomorphic Encryption Schemes

now Associate Professor at INSA Toulouse

• Cyrielle Feron (2015-2018)
  PAnTHErS: Prototyping and Analysis Tool for Homomorphic Encryption Schemes
• Maria Mushtaq (2016-2019)
  Software-based detection and mitigation of microarchitectural attacks on Intel's x86 architecture

now Associate Professor at Télécom Paris

• Ghita Harcha (2017-2021)
  Introducing shuffling into hardware architectures: a contribution to the security of AES cyphers in an IoT context
• Noura Ait Manssour (2019-2022)
  Secure processor against logical and physical attacks

Current Ph.D. students

• Oussama Elmnaouri (2024-2027)

Software Mitigations for Cache and Covert Timing SCAs

• Adam Henault (2024-2027)

Hardware telemetry to secure embedded systems

• Kévin Quénéhervé (2023-2026)

RISC-V processor robust against physical attacks

• Hongwei Zhao (2022-2025)

Secure communication architecture of a SoC against physical and logical attacks

• Nicolas Gaudin (2021-2024)

Design and avaluation of RISC-V processor robust against timing attacks

• William Pensec (2021-2024)

RISC-V processor with DIFT robust against physical attacks

Post-docs

• Kamel Aizi (2022-2024)

Evaluation of hardware security monitors against physical side-channel analysis

• Arnab kumar Biswas (2018-2019)

multi-core/multiprocessor hardware-assisted DIFC system

M.Sc. Graduates

• Adam Henault (2024)

Study of RTOS memory footprint on Microchip PolarFire FPGA implementing a MI-V RISC-V core

• Kévin Quénéhervé (2023)

Defeat RISC-V PMP through fault injection attacks

• Jérémy Bricq (2018)

Detection of cache-based side-channel attacks at the OS level

• Samy Rida (2018)

Implementation of countermeasure techniques for cache-based timing side-channel attacks in multi- & many-core systems

• Djelar Esperance Asngar (2015)

Analysis and comparison of GEM5 and OVPsim simulators

• Thomas Toublanc (2015)

OS-integrated Multiprocessor platform implementation on FPGA

• Charles Effiong (2014)

Performance Exploration of 3D NoCs with Resistive-Open TSVs

• Robin Danilo (2012)

Branch prediction introduction in High Level Synthesis