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)
- Campus au 61 avenue du président Wilson, 94235 Cachan (infos accès)
- Bâtiment d'Alembert (plan campus)
- Amphithéatre Marie Curie (en rentrant par le "fer à cheval", au 1er étage, tout au fond à gauche)
Programme
- 09:45 Accueil
- 10:15 Karine Heydeman LIP6 Sécurisation logicielle contre les attaques en faute et apport des méthodes formelles (diapos)
- 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 (diapos)
- 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 (diapos)
- 15:45 Pause
- 16:15 David Pichardie ENS Rennes & IRISA Verification of Constant-Time Implementations (diapos)
- 17:00 Discussion
- 17:30 Fin
Merci
Merci aux orateurs et aux nombreux participants qui ont bravé la neige!
Contact
Les journées ont été 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.