Planning
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 |
|
|
Loading...