Cyber in Saclay - Sciencesconf.org

Week Mon. 08 Tue. 09 Wed. 10 Thu. 11 Fri. 12 List

	Mon. 08	Tue. 09	Wed. 10	Thu. 11	Fri. 12
08:00 09:00 10:00 11:00 12:00 13:00 14:00 15:00 16:00 17:00 18:00 19:00	Opening 8:45 - 9:00 (15min) Opening Sébastien Bardin & Stéphanie Delaune Software vulnerabilities 9:00 - 10:30 (1h30) Software vulnerabilities Laurent Mounier Security protocols (part I) 11:00 - 12:30 (1h30) Security protocols (part I) Jannik Dreier & Lucca Hirschi Software vulnerabilities - TP Tamarin - TP 14:00 - 15:30 (1h30) Software vulnerabilities - TP Laurent Mounier 14:00 - 15:30 (1h30) Tamarin - TP Jannik Dreier & Lucca Hirschi Student session 16:00 - 17:00 (1h) Student session	Differential analysis 9:00 - 10:30 (1h30) Differential analysis Marine Minier Cryptographic Constant-Time Verification (part I) 11:00 - 12:30 (1h30) Cryptographic Constant-Time Verification (part I) David Pichardie Tamarin - TP Software vulnerabilities - TP 14:00 - 15:30 (1h30) Tamarin - TP Jannik Dreier & Lucca Hirschi 14:00 - 15:30 (1h30) Software vulnerabilities - TP Laurent Mounier Student session 16:00 - 17:00 (1h) Student session Social Event 18:00 - 19:30 (1h30) Social Event Escape game online (specific registration required)	Security protocols (part II) 9:00 - 10:30 (1h30) Security protocols (part II) Jannik Dreier & Lucca Hirschi Cryptographic Constant-Time Verification (part II) 11:00 - 12:30 (1h30) Cryptographic Constant-Time Verification (part II) David Pichardie	Formal security proofs of assembly cryptographic implementations 9:00 - 10:30 (1h30) Formal security proofs of assembly cryptographic implementations Benjamin Grégoire Frama-C 11:00 - 12:30 (1h30) Frama-C Julien Signoles EasyCrypt - TP Frama-C - TP 14:00 - 15:30 (1h30) EasyCrypt - TP Benjamin Grégoire & Pierre-Yves Strub 14:00 - 15:30 (1h30) Frama-C - TP Julien Signoles Sponsor: ANSSI 16:00 - 16:30 (30min) Sponsor: ANSSI Patricia Mouy Sponsor: Facebook 16:30 - 17:00 (30min) Sponsor: Facebook Jules Villard	Malware analysis 9:00 - 10:30 (1h30) Malware analysis Jean-Yves Marion Attaques en faute 11:00 - 12:30 (1h30) Attaques en faute Karine Heydemann Ending 12:30 - 12:45 (15min) Ending Sébastien & Stéphanie Frama-C - TP EasyCrypt - TP 14:00 - 15:30 (1h30) Frama-C - TP Julien Signoles 14:00 - 15:30 (1h30) EasyCrypt - TP Benjamin Grégoire & Pierre-Yves Strub