Projets ALSOC

Équipe : ALSOC

Vérification formelle et résilience aux attaques physiques de contre-mesures matérielles

Project Leader : Emmanuelle Encrenaz

08/04/2025

Modélisation et Vérification pour CPS Sécurisés et Performants

Project Leader : Daniela Genius

01/10/2023

Conception de systèmes sécurisés par une réduction des effets de la micro-architecture sur les attaques par canaux auxiliaires

Réf ADV : C21/0475

Project Leader : Quentin Meunier

01/10/2020

TSAR - TSAR (Tera-Scale ARchitecture)

Project Leader : Alain Greiner

27/09/2017