Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information

›14:00 (10min)

Ouverture
CO/CP RESSI

14:00 - 14:10 (10min)

Ouverture

CO/CP RESSI

›14:10 (30min)

Keynote : Application de méthodes d'apprentissage automatique à la cyber-sécurité
Adeline Bailly et Samuel Hangouet (DGA)

14:10 - 14:40 (30min)

Keynote : Application de méthodes d'apprentissage automatique à la cyber-sécurité

Adeline Bailly et Samuel Hangouet (DGA)

›14:40 (45min)

Enseignement

14:40 - 15:25 (45min)

Enseignement

› Retour d'expérience sur l'utilisation des challenges de sécurité durant un cours sur la sécurité des objets connectés - christophe tilmant, Institut Pascal - Clermont Auvergne - jacques laffont, Université Clermont Auvergne 14:40-14:55 (15min)

› CALI-SSI : Challenge interdisciplinaire en sécurité des systèmes d'information - Romain Xu-Darme, Université Grenoble Alpes 14:55-15:10 (15min)

› DARC : Data Anonymization and Re-identification Challenge - Antoine Boutet, CITI Centre of Innovation in Telecommunications and Integration of services - Nguyen Benjamin, Laboratoire d'Informatique Fondamentale d'Orléans 15:10-15:25 (15min)

›15:25 (20min)

Projets de recherche

15:25 - 15:45 (20min)

Projets de recherche

› GASP : a Generic Approach to Secure network Protocols - Olivier Levillain, Télécom SudParis 15:25-15:45 (20min)

› Generate & Learn & Detect – Détection par IA de falsifications de données Métier avec entrainement par génération de tests sur patterns d'attaque - Raphaël Couturier, Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies 15:25-15:45 (20min)

› Ingénierie basée sur les Modèles Pour les Analyses de Sécurité appliquées au domaine aéronautique (MODSECAERO) - Guillaume Mockly, Trialog - Gabriel Pedroza, CEA Paris Saclay 15:25-15:45 (20min)

›15:45 (15min)

Pause

15:45 - 16:00 (15min)

Pause

›16:00 (40min)

Session thèses

16:00 - 16:40 (40min)

Session thèses

› Attestation à distance de microprocesseurs vérifiée formellement - Jonathan CERTES, Institut de recherche en informatique de Toulouse 16:00-16:10 (10min)

› Automatically Proving Microkernel Security - Olivier Nicole, Laboratoire de Sûreté et Sécurité des Logiciels, CEA List, Département d'informatique, ENS, CNRS, Université PSL 16:10-16:20 (10min)

› Perspectives on security kernels for IoT - Nicolas Dejon, Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189, Orange Labs [Caen] 16:20-16:30 (10min)

› Reconfigurable Hardware for Microarchitectural Timing Attacks Detection - Yuxiao MAO, Laboratoire dánalyse et dárchitecture des systèmes [Toulouse] 16:30-16:40 (10min)

›16:40 (20min)

Session thèses

16:40 - 17:00 (20min)

Session thèses