27 Nov 2019 Paris (France)

Software Security: which tools to build, validate, fix and audit code security while keeping track of attack evolution?

This day aimas at offering our community working on systems, software and network security to meet and share around the topic of sofware security. It will be composed of several presentations on varied topics. The first talk is scheduled at 9 AM and the day is expected to end at 6 PM.

Participation to this event is free but registration is mandatory, before November 19th.

 

Présentations confirmées

The complete program will shortly be published. For the moment, here are the confirmed speakers:

  • Ange Albertini (Google) - Formats de fichiers: structures et conséquences
  • Ryad Benadjila, Arnaud Ebalard and 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
 

Practical informations

The event will be held on Wednesday November 27th in the Paris building of ESIEA, 9 rue Vésale, 75005 Paris (métro 7 Gobelins).

The event organizing team is:
Online user: 1