09:00
10:00
11:00
12:00
13:00
14:00
15:00
16:00
17:00
9:00 - 9:45 (45min)
Plenary talk - Duong Hieu Phan
Forum
› How to protect privacy with cryptographic methods
- Duong Hieu Phan, Télécom Paris
09:00-09:45 (45min)
9:45 - 10:30 (45min)
Plenary Talk - Clémentine Maurice
Forum
› Micro-architectural attacks: from CPU to browser
- Clémentine Maurice, CNRS, CRIStAL, Lille
09:45-10:30 (45min)
10:30 - 11:00 (30min)
Coffee break
Hall
11:00 - 11:45 (45min)
Plenary Talk
Forum
› Missions de l'ANSSI
- Geoffroy Hermann, ANSSI
11:00-11:15 (15min)
› CRY.ME : un challenge de cryptographie sur une messagerie sécurisée
- Abdul Rahman TALEB, CryptoExperts - Thibauld FENEUIL, CryptoExperts
11:15-11:45 (30min)
11:45 - 12:15 (30min)
REDOCS
Forum
› Présentation de REDOCS
- Pascal Lafourcade, Laboratoire d'Informatique, de Modélisation et d'optimisation des Systèmes
11:45-11:50 (05min)
› MalAware: the beginning of a behavioral malware detection
- Dylan Marinho, Université de Lorraine, CNRS, Inria, LORIA, Nancy
11:50-12:15 (25min)
12:15 - 14:00 (1h45)
Lunch
Hall
14:00 - 15:30 (1h30)
WG MFS-SSLR
Forum
› Secure Distance Estimation - Proximity to Positioning
- Mridula Singh, CISPA
14:00-14:45 (45min)
› Security Testing of Stateful Systems
- Erik Poll, Radboud University
14:45-15:30 (45min)
14:00 - 15:30 (1h30)
WG SSM
Auditorium
› Problématiques modernes de la génération d'aléa véritable: étude approfondie d'un TRNG basé sur les PLLs
- Florent Bernard, Laboratoire Hubert Curien, Saint-Étienne - Nathalie Bochard, Laboratoire Hubert Curien, Saint-Étienne
14:00-14:45 (45min)
› Random numbers for Security Applications in Industrial Context
- Ugo Mureddu, ST Microelectronics, Rousset, France - Patrick Haddad, ST Microelectronics, Rousset, France
14:45-15:30 (45min)
15:30 - 16:00 (30min)
Coffee break
Hall
16:00 - 17:30 (1h30)
WG MFS-SSLR
Forum
› An overview of the Jasmin language for High-Assurance & High-Speed Cryptography
- Benjamin Grégoire, Inria
16:00-16:45 (45min)
› DY Fuzzing: Formal Dolev-Yao Models Meet Protocol Fuzz Testing
- Lucca Hirschi, Inria
16:45-17:30 (45min)
16:00 - 17:30 (1h30)
WG SSM
Auditorium
› Génération de nombres aléatoires à base de dispositifs spintroniques et memristifs
- Ioana Vatajelu, TIMA, CNRS, UGA Grenoble, France
16:00-16:30 (30min)
› Chaotic MEMS-based TRNG
- Martial Defoort, TIMA, CNRS, Grenoble, France
16:30-17:00 (30min)
› Effets des différents bruits sur la variance d'Allan du jitter dans des RO: Expérimentation et émulation
- Licinius Benea, Direction de Recherche Technologique (CEA)
17:00-17:30 (30min)
