Programme
mercredi 16 décembre 2020
| Heures |
événement |
(+)
|
|
14:00 - 14:10
|
Ouverture - CO/CP RESSI |
|
|
14:10 - 14:40
|
Keynote : Application de méthodes d'apprentissage automatique à la cyber-sécurité - Adeline Bailly et Samuel Hangouet (DGA) |
|
|
14:40 - 15:25
|
Enseignement |
(+)
|
|
14:40 - 14:55 |
› 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:55 - 15:10 |
› CALI-SSI : Challenge interdisciplinaire en sécurité des systèmes d'information - Romain Xu-Darme, Université Grenoble Alpes |
|
|
15:10 - 15:25 |
› 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:25 - 15:45
|
Projets de recherche |
(+)
|
|
15:25 - 15:45 |
› GASP : a Generic Approach to Secure network Protocols - Olivier Levillain, Télécom SudParis |
|
|
15:25 - 15:45 |
› 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 |
› 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:45 - 16:00
|
Pause |
|
|
16:00 - 16:40
|
Session thèses |
(+)
|
|
16:00 - 16:10 |
› Attestation à distance de microprocesseurs vérifiée formellement - Jonathan CERTES, Institut de recherche en informatique de Toulouse |
|
|
16:10 - 16:20 |
› 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:20 - 16:30 |
› 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:30 - 16:40 |
› Reconfigurable Hardware for Microarchitectural Timing Attacks Detection - Yuxiao MAO, Laboratoire dánalyse et dárchitecture des systèmes [Toulouse] |
|
|
16:40 - 17:00
|
Session thèses |
|
| Heures |
événement |
(+)
|
|
14:00 - 14:30
|
Keynote : BGP Blackjack Attacks - Cristel Pelsser (Université de Strasbourg) |
|
|
14:30 - 14:50
|
Projets de recherche |
(+)
|
|
14:30 - 14:50 |
› ANR PRCE MobiS5 (début) - Pascal Lafourcade, LIMOS/Université Clermont Auvergne - Léo Robert, LIMOS/Université Clermont Auvergne |
|
|
14:30 - 14:50 |
› Cyber Résilience opérationnelle augmentée par Intelligence Artificielle - Yacine Tamoudi, Kereval |
|
|
14:30 - 14:50 |
› DALID: Démonstrateur Automatisé de Lutte Informatique Défensive - Georges Bossert, SEKOIA |
|
|
14:50 - 15:05
|
Pause |
|
|
15:05 - 15:45
|
Session thèses |
(+)
|
|
15:05 - 15:15 |
› BotFP: FingerPrints Clustering for Bot Detection - Agathe Blaise, Agathe Blaise |
|
|
15:15 - 15:25 |
› Consensus protocols from Byzantine Generals problem to Blockchain - Ambre Toulemonde, Université de Versailles Saint-Quentin-en-Yvelines |
|
|
15:25 - 15:35 |
› Directed Fuzzing for Use-After-Free Vulnerabilities Detection - Manh-Dung Nguyen, CEA LIST |
|
|
15:35 - 15:45 |
› Towards Network Resiliency with AI Driven Automated Load Sharing in Content Delivery Environments - Elkin Aguas, Orange Labs |
|
|
15:45 - 16:05
|
Session thèses |
|
|
16:05 - 16:15
|
Pause |
|
|
16:15 - 17:30
|
Rump sessions |
|
vendredi 18 décembre 2020
| Heures |
événement |
(+)
|
|
09:00 - 09:30
|
EmPoWeb: Empowering Web Applications with Browser Extensions (rejeu S&P 2019) - Dolière Francis Somé (Université Côte d'Azur) |
|
|
09:30 - 09:50
|
Projets de recherche |
(+)
|
|
09:30 - 09:50 |
› MOSAICO : Multi-layer Orchestration for Secured and low lAtency applICatiOns - Bertrand Mathieu, Orange Labs [Lannion] |
|
|
09:30 - 09:50 |
› REVEN-64-v2 : Analyseur dynamique déterministe pour système x64 complet - Louis Dureuil, Tetrane |
|
|
09:30 - 09:50 |
› VARIoT: Vulnerability and Attack Repository for IoT - Gregory Blanc, Télécom SudParis (Institut Mines-Télécom) |
|
|
09:50 - 10:30
|
Session thèses |
(+)
|
|
09:50 - 10:00 |
› Improving encryption expressivity with Multi-locking - Cyrius Nugier - LAAS CNRS |
|
|
10:00 - 10:10 |
› Interception of Frequency-Hopping Signals for TEMPEST Attacks - Corentin Lavaud - Univ Rennes, CNRS, IRISA, Robin Gerzaguet - Univ Rennes, CNRS, IRISA, Matthieu Gautier - Univ Rennes, CNRS, IRISA, Olivier Berder - Univ Rennes, CNRS, IRISA |
|
|
10:10 - 10:20 |
› Spécifier des propriétés de haut niveau pour apprivoiser un programme C avec MetAcsl - Virgile ROBLES - Laboratoire de Sûreté et de Sécurité des Logiciels |
|
|
10:20 - 10:30 |
› Biométrie multimodale pour la vérification d'identité d'apprenants dans les examens à distance - mohamed amine haytom - Groupe de Recherche en Informatique, Image, Automatique et Instrumentation de Caen, Christophe Rosenberger - Groupe de Recherche en Informatique, Image, Automatique et Instrumentation de Caen, Christophe Charrier - Groupe de Recherche en Informatique, Image, Automatique et Instrumentation de Caen |
|
|
10:30 - 10:50
|
Session thèses |
|
|
10:50 - 11:05
|
Pause |
|
|
11:05 - 12:05
|
Enseignement |
(+)
|
|
11:05 - 11:20 |
› Présentation d'un cours d'analyse forensique et application de méthodes de ludification à des exercices de stéganographie - Olivier Cros - CERISE Team |
|
|
11:20 - 11:35 |
› Retour d'expérience de l'atelier "Cartes à puce-Biométrie" pour les parcours "Réseaux et Sécurité" et "Informatique Embarquée" - Guillaume Renier - Dépt. des Sciences Informatiques, Iryna Andriyanova - Dépt. des Sciences Informatiques, ETIS |
|
|
11:35 - 11:50 |
› Retour d'expérience: Enseignement de la "Sécurité logicielle" à l'Université de Bordeaux - Emmanuel Fleury - Université de Bordeaux |
|
|
11:50 - 12:05 |
› Une preuve pour le lycée de l'indécidabilité du problème de la détection de virus informatique - Pascal LAFOURCADE - LIMOS |
|
|
12:05 - 12:30
|
Clôture - CO/CP RESSI |
|
|
