|
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 |
jeudi 17 décembre 2020
| 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 |
|
|