Workshop

Workshop SERTIF : Simulation pour l'Evaluation de la RobusTesse des applications embarquées contre l'Injection de Fautes

Grenoble - 11 octobre 2016

10h-17h

Maison Minatec - Salle B221

3 parvis Louis Néel

38054 Grenoble

(Accès)

Les partenaires du projet (Vérimag, CEA-LETI, SAFRAN IDENTITY and SECURITY) présenteront les résultats du projet Astrid-ANR SERTIF.

En particulier nous présenterons :

  • Une méthode permettant de combiner attaques par perturbation et simulation de code
  • FISSC, la première collection de codes dédiée à l'évaluation de robustesse contre l'injection de fautes.

Ce workshop a pour but de rassembler la communauté de l'analyse de robustesse à l'injection de fautes sur composants embarqués autour de la présentation des résultats du projet SERTIF et d'exposés d'experts du domaine.

Programme

Here

09h30-10h00 Accueil

  • 10h00-10h40 : Présentation des objectifs et résultats du projet Sertif (Vérimag) Les transparents 1
  • 10h40-11h00 : Inférence de modèles de faute (CEA-LETI) Les transparents 2
  • 11h00-11h30 : Enjeux, évolution et conséquences de la sécurité du monde mobile, G. Bouffard (ANSSI) Les transparents 3

11h30-11h45 Pause café

  • 11h45-12h15 : The wheel of fault injection, J.-L. Lanet (INRIA, LHS Rennes) Les transparents 4
  • 12h15-12h45 : Simulation virtuelle de fautes. Outil "Smart-SIC Virtualyzer", Y. Souissi (Telecom-Paristech / Secure-IC)

12h45-14h00 Buffet

  • 14h00-14h30 : Besoins en sécurité des composants du Ministère de la Défense, J. Micolod (Mindef)
  • 14h30-15h00 : Injection : du modèle de faute à une contremesure, Ph. Maurine (LIRMM) Les transparents 5
  • 15h00-15h20 : Utilisation de l'outil CELTIC pour l'évaluation, L. Maingault (CEA-LETI)

15h20-15h30 Pause café

  • 15h30-15h40 : Contre-mesures logicielles contre les fautes induisant des sauts, J.-F. Lalande (INSA Centre Val de Loire) Les transparents 6
  • 15h40-16h00 : Contre-mesures à la compilation, D. Couroussé (CEA) Les transparents 7
  • 16h00-16h20 : Analyse sécuritaire d'un système bas niveau en exploitant une caractérisation de la propagation de l'information, B. Ezvan (Trusted Labs / LIP6) Les transparents 8
  • 16h20-16h30 : Conclusion de la journée

16h30 Cocktail

Information

La soutenance de thèse de Louis Dureuil "Analyse de code et processus d'évaluation des composants sécurisés contre l'injection de faute" est prévue le lendemain (mercredi 12 octobre) à 10h, à l'Auditorium du bâtiment PILSI (Accès PILSI).

Organisateurs

  • Marie-Laure Potet (Vérimag)
  • Jessy Clédière (CEA-LETI)
  • Thanh-Ha Le (SAFRAN IDENTITY and SECURITY)

Workshop financé par

  • ANR-ASTRID SERTIF (ANR-14-ASTR-0003-01)
  • Labex PERSYVAL-Lab (ANR-11-LABX-0025)