Forum Méthodes Formelles : "Méthodes formelles et cyber-sécurité"

Contact: 
Date: 
Mardi, 31 Janvier, 2017

 

 

Pôle Aerospace Valley

Pôle MinalogicPôle SystematicPôle Images et Réseaux

Forum Méthodes Formelles

Cycle de conférences

RTRA AESE/IFSE

Groupe de Travail Embedded France

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

 


Mardi 31 Janvier 2017 Toulouse

 

LAAS-CNRS
Salle de Conférences
Inscription par mail

           Retransmis en direct à

      Grenoble     Inria Grenoble Rhone Alpes Informations & Inscription

      Saclay     Labex Digicosme   Informations & Inscription

      Rennes       Inria Rennes Bretagne Atlantique Informations & Inscription  

 

 

 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 conecté »
    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)