Forum Méthodes Formelles Cycle de conférences

Groupe de Travail

" Méthodes formelles et Cyber-Sécurité "

Mardi 31 Janvier 2017 Toulouse

Salle de Conférences Inscription par mail

Retransmis en direct à

Grenoble    Informations & Inscription       Saclay      Informations & Inscription       Rennes       Informations & Inscription

Programme

Accueil

• 08h45 -08H55 Accueil des participants
  
  
• 08h55-09h00 « Courte introduction à la journée » Slides
  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) Slides/Vidéo
  
  

Session sur les malwares

• 10h00-10h30 « Détection des codes malveillants par analyse morphologique »
  Jean Yves Marion (Université de Lorraine, Loria, Nancy, France) Slides /Vidéo
  
  
• 10h30-11h00 « Besoins industriels, techniques utiles et problèmes ouverts »
  Sarah Zennou (Airbus, Suresnes, France) Slides /Vidéo

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) Slides /Vidéo
  
  
• 12h00-12h30 « Outils innovants pour la sécurité logicielle : la plateforme Frama-C »
  Julien Signoles (CEA-LIST, Saclay, France) Slides /Vidéo
  
  

12h30-14h00 : Pause Repas

• 14h00-14h30 « Smarter fuzzing using sound and precise static analyzers »
  Pascal Cuoq (TrustInSoft, Orsay, France) Slides /Vidéo
  
  
• 14h30-15h00 « Contribution de l’analyse statique à la SSI : un exemple pour l'avion connecté »
  Emmanuel Ledinot (Dassault Aviation, Saint-Cloud, France) Slides /Vidéo
  
  

Session micronoyaux et protocoles

• 15h00-15h30 « Développement certifié : techniques, défis, maintenance : Le seL4 micronoyau et sa vérificiation »
  Timothy Bourke (INRIA, Paris, France) Slides /Vidéo
  
  

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) Slides /Vidéo
  
  

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) Vidéo
  
  home