Projects ALSOC

Team : ALSOC

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

Project Leader : Emmanuelle Encrenaz

04/08/2025

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

Project Leader : Daniela Genius

10/01/2023

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

Project Leader : Quentin Meunier

10/01/2020

TSAR - TSAR (Tera-Scale ARchitecture)

Project Leader : Alain Greiner

09/27/2017