GT Méthodes Formelles pour la Sécurité

Journée Annuelle 2018

Le GT MFS du pré-GdR Sécurité Informatique organise sa journée annuelle le 7 février 2018 à l'ENS Paris-Saclay (Cachan).

La journée a pour objectif de permettre aux personnes de la communauté des méthodes formelles intéressées par les applications liées à la sécurité de se regrouper et d'échanger autour de ces thèmes.

Elle comportera des exposés de chercheurs, d'industriels et de doctorants.

Où et quand

  • Le 7 février 2018
  • À l'ENS Paris-Saclay (Cachan); 30mn du centre de Paris (RER B Bagneux)
  • Campus au 61 avenue du président Wilson, 94235 Cachan
  • Amphithéatre Chemla: plan

Programme

  • 09:45 Accueil
  • 10:15 Karine Heydeman LIP6 Sécurisation logicielle contre les attaques en faute et apport des méthodes formelles
  • 11:00 Graham Steel Cryptosense Cloud Cryptography Services
  • 11:45 Ninon Eyrolles LMV & Quarkslab Simplification d'expressions MBA obfusquées
  • 12:15 Déjeuner
  • 14:00 Steve Kremer Inria Grand-Est The quest for formally analyzing e-voting protocols
  • 14:45 Benjamin Beurdouche Inria Paris HACL*, une bibliothèque cryptographique formellement vérifiée en F*: perspectives et retour d’expérience sur sa mise en production dans Mozilla Firefox.
  • 15:15 Vincent Laporte IMDEA Madrid Compilation sûre de contre-mesures aux attaques par canaux auxiliaires
  • 15:45 Pause
  • 16:15 David Pichardie ENS Rennes & IRISA Verification of Constant-time Implementations
  • 17:00 Discussion
  • 17:30 Fin

Inscription

Les inscriptions sont closes.

Contact

Les journées sont organisées par David Baelde (LSV, ENS Paris-Saclay), Sébastien Bardin (CEA) et Stéphanie Delaune (CNRS, IRISA).

Pour toute question, contactez l'organisateur local.