27-27 Nov 2019 Paris (France)

Planning

Wednesday, November 27, 2019
08:00
09:00
10:00
11:00
12:00
13:00
14:00
15:00
16:00
17:00
18:00
›8:30 (30min)
Welcome Coffee
›9:00 (15min)
Welcome and introduction
Olivier et Aurélien
›9:15 (45min)
Information-Flow Preservation in Compiler Optimisations
Frédéric Besson (Inria/Irisa)
›10:00 (45min)
Verification of a x509 parser
Ryad Benadjila, Arnaud Ebalard et Patricia Mouy (ANSSI)
›10:45 (30min)
Coffee break
›12:45 (1h45)
Lunch
›14:30 (45min)
Formats de fichiers: décisions et conséquences
Ange Albertini (Google)
›15:15 (45min)
Rust: Towards Better Code Security
Pierre Chifflier (ANSSI)
›16:00 (30min)
Coffee break
›16:30 (45min)
Éprouver la robustesse d'un système avec Fuddly
Éric Lacombe (Airbus)
›17:15 (30min)
Rump sessions
›17:45 (15min)
Clôture de la journée
Session
Speech
Logistics
Break
Tour
Online user: 9 Privacy
Loading...