Programme
Accueil
- 08h45 -08H55 Accueil des participants
- 08h55-09h00 « Courte introduction à la journée »
Agusti Canals (CS Communication & Systèmes, Toulouse, France)
Exposé Introductif
- 09h00-10h00 « Formal methods for software security »
Thomas Jensen (INRIA Rennes - Bretagne Atlantique/IRISA, Rennes, France)
Session sur les malwares
- 10h00-10h30
« Détection des codes malveillants par analyse morphologique »
Jean Yves Marion (Université de Lorraine, Loria, Nancy, France)
- 10h30-11h00
« Besoins industriels, techniques utiles et problèmes ouverts »
Sarah Zennou (Airbus, Suresnes, France)
11h00-11h30 : Pause Café
Session vulnérabilités logicielles
- 11h30-12h00
« Combinaison analyse statique et dynamique pour la détection de failles »
Marie-Laure Potet (IMAG, Grenoble, France)
- 12h00-12h30
« Outils innovants pour la sécurité logicielle : la plateforme Frama-C »
Julien Signoles (CEA-LIST, Saclay, France)
12h30-14h00 : Pause Repas
- 14h00-14h30
« Smarter fuzzing using sound and precise static analyzers »
Pascal Cuoq (TrustInSoft, Orsay, France)
- 14h30-15h00
« Contribution de l’analyse statique à la SSI : un exemple pour l'avion connecté »
Emmanuel Ledinot (Dassault Aviation, Saint-Cloud, France)
Session micronoyaux et protocoles
- 15h00-15h30
« Développement certifié : techniques, défis, maintenance »
Timothy Bourke (INRIA, Paris, France)
15H30-16H00 : Pause Café
- 16h00-16h30
« Validation formelle de protocoles de sécurité, et application au vote électronique de Scytl pour les élections en Suisse »
Mathieu Turuani (Loria INRIA, Nancy, France)
Table Ronde
- 16H30-17h15 : « Quelles collaborations académie/industrie pour la sécurité ? »
animée par Jean Yves Marion (Université de Lorraine, Loria, Nancy, France)