27 nov. 2019 Paris (France)

Programme

mercredi 27 novembre 2019

Heures événement  
08:30 - 09:00 Café de bienvenue  
09:00 - 09:15 Mot d'accueil et introduction - Olivier et Aurélien  
09:15 - 10:00 Information-Flow Preservation in Compiler Optimisations - Frédéric Besson (Inria/Irisa)
 
10:00 - 10:45 Verification of a x509 parser - Ryad Benadjila, Arnaud Ebalard et Patricia Mouy (ANSSI)
 
10:45 - 11:15 Pause café  
11:15 - 12:00 Tendances et contraintes de l'automatisation de fuzzing d'OS embarqué - point de vue d'un industriel - Stéphane Duverger (Airbus)
 
12:00 - 12:45 Systematic Comparison of Symbolic Execution Systems: Intermediate Representation and its Generation - Sebastian Poeplau (Eurecom)
 
12:45 - 14:30 Déjeuner  
14:30 - 15:15 Formats de fichiers: décisions et conséquences - Ange Albertini (Google)
 
15:15 - 16:00 Rust: Towards Better Code Security - Pierre Chifflier (ANSSI)
 
16:00 - 16:30 Pause café  
16:30 - 17:15 Éprouver la robustesse d'un système avec Fuddly - Éric Lacombe (Airbus)
 
17:15 - 17:45 Rump sessions
 
17:45 - 18:00 Clôture de la journée  
  
Personnes connectées : 1