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

Mer. 16

Jeu. 17

Ven. 18

09:00

10:00

11:00

12:00

13:00

14:00

15:00

16:00

17:00

Ouverture

14:00 - 14:10 (10min)

Ouverture

CO/CP RESSI

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

14:10 - 14:40 (30min)

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

Adeline Bailly et Samuel Hangouet (DGA)

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)

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)

Pause

15:45 - 16:00 (15min)

Pause

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)

Session thèses

16:40 - 17:00 (20min)

Session thèses

Keynote : BGP Blackjack Attacks

14:00 - 14:30 (30min)

Keynote : BGP Blackjack Attacks

Cristel Pelsser (Université de Strasbourg)

Projets de recherche

14:30 - 14:50 (20min)

Projets de recherche

› ANR PRCE MobiS5 (début) - Pascal Lafourcade, LIMOS/Université Clermont Auvergne - Léo Robert, LIMOS/Université Clermont Auvergne 14:30-14:50 (20min)

› Cyber Résilience opérationnelle augmentée par Intelligence Artificielle - Yacine Tamoudi, Kereval 14:30-14:50 (20min)

› DALID: Démonstrateur Automatisé de Lutte Informatique Défensive - Georges Bossert, SEKOIA 14:30-14:50 (20min)

Pause

14:50 - 15:05 (15min)

Pause

Session thèses

15:05 - 15:45 (40min)

Session thèses

› BotFP: FingerPrints Clustering for Bot Detection - Agathe Blaise, Agathe Blaise 15:05-15:15 (10min)

› Consensus protocols from Byzantine Generals problem to Blockchain - Ambre Toulemonde, Université de Versailles Saint-Quentin-en-Yvelines 15:15-15:25 (10min)

› Directed Fuzzing for Use-After-Free Vulnerabilities Detection - Manh-Dung Nguyen, CEA LIST 15:25-15:35 (10min)

› Towards Network Resiliency with AI Driven Automated Load Sharing in Content Delivery Environments - Elkin Aguas, Orange Labs 15:35-15:45 (10min)

Session thèses

15:45 - 16:05 (20min)

Session thèses

Pause

16:05 - 16:15 (10min)

Pause

Rump sessions

16:15 - 17:30 (1h15)

Rump sessions

EmPoWeb: Empowering Web Applications with Browser Extensions (rejeu S&P 2019)

9:00 - 9:30 (30min)

EmPoWeb: Empowering Web Applications with Browser Extensions (rejeu S&P 2019)

Dolière Francis Somé (Université Côte d'Azur)

Projets de recherche

9:30 - 9:50 (20min)

Projets de recherche

› MOSAICO : Multi-layer Orchestration for Secured and low lAtency applICatiOns - Bertrand Mathieu, Orange Labs [Lannion] 09:30-09:50 (20min)

› REVEN-64-v2 : Analyseur dynamique déterministe pour système x64 complet - Louis Dureuil, Tetrane 09:30-09:50 (20min)

› VARIoT: Vulnerability and Attack Repository for IoT - Gregory Blanc, Télécom SudParis (Institut Mines-Télécom) 09:30-09:50 (20min)

Session thèses

9:50 - 10:30 (40min)

Session thèses

› Improving encryption expressivity with Multi-locking - 09:50-10:00 (10min)

› Interception of Frequency-Hopping Signals for TEMPEST Attacks - 10:00-10:10 (10min)

› Spécifier des propriétés de haut niveau pour apprivoiser un programme C avec MetAcsl - 10:10-10:20 (10min)

› Biométrie multimodale pour la vérification d'identité d'apprenants dans les examens à distance - 10:20-10:30 (10min)

Session thèses

10:30 - 10:50 (20min)

Session thèses

Pause

10:50 - 11:05 (15min)

Pause

Enseignement

11:05 - 12:05 (1h)

Enseignement

› Présentation d'un cours d'analyse forensique et application de méthodes de ludification à des exercices de stéganographie - 11:05-11:20 (15min)

› Retour d'expérience de l'atelier "Cartes à puce-Biométrie" pour les parcours "Réseaux et Sécurité" et "Informatique Embarquée" - 11:20-11:35 (15min)

› Retour d'expérience: Enseignement de la "Sécurité logicielle" à l'Université de Bordeaux - 11:35-11:50 (15min)

› Une preuve pour le lycée de l'indécidabilité du problème de la détection de virus informatique - 11:50-12:05 (15min)

Clôture

12:05 - 12:30 (25min)

Clôture

CO/CP RESSI