Wednesday, November 27, 2019
| Time | Event | |
| 08:30 - 09:00 | Welcome Coffee | |
| 09:00 - 09:15 | Welcome and 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 | Coffee break | |
| 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 | Lunch | |
| 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 | Coffee break | |
| 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 |
