27 nov. 2019 Paris (France)

Sécurité du logiciel : quels outils pour construire, valider, corriger et auditer la sécurité du code en prenant en compte l'évolution des attaques ?

Cette journée a pour objectif de permettre aux personnes de la communauté sécurité des systèmes, des logiciels et des réseaux de se retrouver pour échanger autour du thème de la sécurité du logiciel. La journée comportera des exposés sur des sujets assez divers. Le premier exposé est prévu à 9h et la journée devrait se terminer vers 18h.

La participation à la journée est gratuite mais il est obligatoire de s'y inscrire avant le 19 novembre.
 

 

Présentations confirmées

Le programme complet de la journée sera annoncé prochainement. En attendant, voici la liste des interventions programmées :

  • Ange Albertini (Google) - Formats de fichiers: structures et conséquences
  • Ryad Benadjila, Arnaud Ebalard et Patricia Mouy (Anssi)Verification of a x509 parser
  • Frédéric Besson (Inria/Irisa) - Information-Flow Preservation in Compiler Optimisations
  • Pierre Chifflier (ANSSI) - Rust: Towards Better Code Security
  • Stéphane Duverger (Airbus)- Tendances et contraintes de l'automatisation de fuzzing d'OS embarqué - point de vue d'un industriel
  • Éric Lacombe (Airbus) - Éprouver la robustesse d'un système avec Fuddly
  • Sebastian Poeplau (Eurecom) - Systematic Comparison of Symbolic Execution Systems: Intermediate Representation and its Generation
 

Informations pratiques

La journée thématique aura lieu le mercredi 27 novembre à l'ESIEA, 9 rue Vésale, 75005 Paris (métro 7 Gobelins).

Les organisateurs de la journée sont :
Personnes connectées : 1