|
09:00 - 09:30
|
Accueil - Accueil des participants / Café |
|
|
09:30 - 09:45
|
Mot de bienvenue |
|
|
09:45 - 10:30
|
Frama-C for Cybersecurity: a Few Case Studies - Julien Signoles - CEA |
|
|
10:30 - 11:00
|
Présentations de doctorants et doctorantes ou jeunes chercheurs |
(+)
|
|
10:30 - 10:45 |
› APCD: Vulnerability Detection Using Mixed Graphical Representation - Mattar Maykel |
|
|
10:45 - 11:00 |
› Fine-Grained Coverage-Based Fuzzing - Michaël Marcozzi, CEA LIST |
|
|
11:00 - 11:30
|
Pause |
|
|
11:30 - 12:15
|
Présentations de doctorants et doctorantes ou jeunes chercheurs |
(+)
|
|
11:30 - 11:45 |
› Approches sémantiques des vulnérabilités matérielles - Sébastien Michelland, Laboratoire de Conception et dÍntégration des Systèmes |
|
|
11:45 - 12:00 |
› Conception et implémentation d'un langage dédié à l'introspection de machine virtuelle - Lionel HEMMERLE, SYSTÈMES LARGE ÉCHELLE |
|
|
12:00 - 12:15 |
› Identifying Vulnerability prone Code Structures - Brendan Le Trionnaire, Institut de Recherche en Informatique et Systèmes Aléatoires |
|
|
12:15 - 14:30
|
Déjeuner |
|
|
14:30 - 15:15
|
Fine-Grained Constant-Time Policies with Jasmin & EasyCrypt - Vincent Laporte |
|
|
15:15 - 15:45
|
Présentations de doctorants et doctorantes ou jeunes chercheurs |
(+)
|
|
15:15 - 15:30 |
› Over-the-top or built-in approaches to improve privacy at the network layer - A tale of 2 complementary approaches to anonymize network traffic - Antoine Fressancourt, Huawei Research |
|
|
15:30 - 15:45 |
› Towards SoK: Attestation in Confidential Computing - Muhammad Usama Sardar, TU Dresden |
|
|
15:45 - 16:15
|
Pause |
|
|
16:15 - 17:15
|
Présentations de doctorants et doctorantes ou jeunes chercheurs |
(+)
|
|
16:15 - 16:30 |
› Fuzzing Hybride de logiciels bas niveau basé sur kAFL/NYX - Romain Malmain, EURECOM |
|
|
16:30 - 16:45 |
› Model Specification Language for Formal Verification of Consent Properties on Models and Code - Myriam CLOUET, CEA- Saclay |
|
|
16:45 - 17:00 |
› OASIS: An Intrusion Detection System Embedded in Bluetooth Low Energy Controllers - Romain Cayre, EURECOM |
|
|
17:00 - 17:15 |
› Software Chain Of Trust against Fault Injection Attacks - François Bonnal, Olivier Potin, Jean-Max Dutertre, Vincent Dupaquis |
|
|
17:15 - 17:30
|
Clôture |
|
