Journée génie logiciel et sécurité

Accueil

Accueil des participants / Café

Mot de bienvenue

Frama-C for Cybersecurity: a Few Case Studies

Julien Signoles - CEA

Présentations de doctorants et doctorantes ou jeunes chercheurs

› APCD: Vulnerability Detection Using Mixed Graphical Representation - Mattar Maykel 10:30-10:45 (15min)

› Fine-Grained Coverage-Based Fuzzing - Michaël Marcozzi, CEA LIST 10:45-11:00 (15min)

Pause

Présentations de doctorants et doctorantes ou jeunes chercheurs

› Approches sémantiques des vulnérabilités matérielles - Sébastien Michelland, Laboratoire de Conception et dÍntégration des Systèmes 11:30-11:45 (15min)

› Conception et implémentation d'un langage dédié à l'introspection de machine virtuelle - Lionel HEMMERLE, SYSTÈMES LARGE ÉCHELLE 11:45-12:00 (15min)

› Identifying Vulnerability prone Code Structures - Brendan Le Trionnaire, Institut de Recherche en Informatique et Systèmes Aléatoires 12:00-12:15 (15min)

Déjeuner

Fine-Grained Constant-Time Policies with Jasmin & EasyCrypt

Vincent Laporte

Présentations de doctorants et doctorantes ou jeunes chercheurs

› 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:15-15:30 (15min)

› Towards SoK: Attestation in Confidential Computing - Muhammad Usama Sardar, TU Dresden 15:30-15:45 (15min)

Pause

Présentations de doctorants et doctorantes ou jeunes chercheurs

› Fuzzing Hybride de logiciels bas niveau basé sur kAFL/NYX - Romain Malmain, EURECOM 16:15-16:30 (15min)

› Model Specification Language for Formal Verification of Consent Properties on Models and Code - Myriam CLOUET, CEA- Saclay 16:30-16:45 (15min)

› OASIS: An Intrusion Detection System Embedded in Bluetooth Low Energy Controllers - Romain Cayre, EURECOM 16:45-17:00 (15min)

› Software Chain Of Trust against Fault Injection Attacks - François Bonnal, Olivier Potin, Jean-Max Dutertre, Vincent Dupaquis 17:00-17:15 (15min)

Clôture

Programme