BAZARGAN SABET Pirouz

Maître de Conférences
Équipe : CIAN
Localisation : Jussieu
    UPMC - LIP6
    Boîte courrier 169
    Couloir 24-25, Étage 5, Bureau 502
    4 place Jussieu
    75252 PARIS CEDEX 05
Tel: 01 44 27 71 18, Pirouz.Bazargan-Sabet (at) nulllip6.fr

Activité de recherche

Méthodes et outils de vérification des circuits intégrés décrits au niveau transistor. Ces outils ont pour objectif de vérifier que la réalisation du circuit décrit par les masques de fabrication est conforme à ses spécifications.

Le projet VALMEM (ANR 2006-2010) visait à vérifier la conformité des mémoires embarquées vis-à-vis des contraintes temporelles. Dans le cadre de ce projet, nous avons développé des outils d'abstraction fonctionnelle et temporelle basés sur des méthodes formelles. L'objectif était d'obtenir, à partir de la description en transistors du circuit mémoire, une vue abstraite sous forme d'un automate d'états temporisé.

Le projet franco-japonais SPACES (ANR-JST 2010-2014) a pour objectif de vérifier la robustesse des circuits de cryptographie vis-à-vis des attaques de type cannaux-cachés (Side Channel Attacks). Dans le cadre de ce projet, nous développons un ensemble d'outils de simulation pour évaluer le courant consommé et le champ électro-magnétique émis par le circuit lors de son fonctionnement. Ces simulateurs visent une précision proche des simulateurs électriques de type SPICE mais avec un temps d'exécution de plusieurs ordres de grandeurs plus petit.

Le projet SoS (ANR 2006-2010) visait à démontrer la faisabilité d'augmenter la sécurité d'un système de cryptographie vis-à-vis des attaques. L'objectif était de montrer qu'en associant un système de surveillance séparé au système de cryptographie, on pouvait activer des contre-mesures adéquates lorsque l'on détecte une tentative d'attaque. Ce système de surveillance permet également de mieux différencier un fonctionnement normal d'une attaque augmentant ainsi la disponibilité su système.

7 Docteurs 1997 - 2003

Publications 1997-2015

 Mentions légales
Carte du site |