Programme de RESSI 2020

RESSI 2020 est terminé. Un grand merci aux auteurs pour leurs contributions.

Vous pouvez visiter le site de la conférence RESSI pour vous abonner à la liste de diffusion et suivre notre actualité.

Mercredi 16 décembre

• 14:00-14:10 : Ouverture
• Session keynote (séance plénière)
  • 14:10-14:40 : Application de méthodes d’apprentissage automatique à la cyber-sécurité - Adeline Bailly, Samuel Hangouet (vidéo, supports)
• Session enseignement (séance plénière)
  • 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 (vidéo, supports)
  • 14:55-15:10 : CALI-SSI : Challenge interdisciplinaire en sécurité des systèmes d’information - Romain Xu-Darme (vidéo, supports)
  • 15:10-15:25 : DARC : Data Anonymization and Re-identification Challenge - Antoine Boutet, Mathieu Cunche, Sebastien Gambs, Nguyen Benjamin, Antoine Laurent (vidéo, supports)
• Session projet (salons en parallèle)
  • 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 (salon, poster)
  • 15:25-15:45 : GASP : a Generic Approach to Secure network Protocols - Olivier Levillain (salon, poster)
  • 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, Gabriel Pedroza (salon, poster)
• 15:45-16:00 : Pause
• Session these (séance plénière)
  • 16:00-16:10 : Attestation à distance de microprocesseurs vérifiée formellement - Jonathan Certes, Benoît Morgan (vidéo, supports)
  • 16:10-16:20 : Automatically Proving Microkernel Security - Olivier Nicole (vidéo, supports)
  • 16:20-16:30 : Perspectives on security kernels for IoT - Nicolas Dejon (vidéo, supports, article)
  • 16:30-16:40 : Reconfigurable Hardware for Microarchitectural Timing Attacks Detection - Yuxiao Mao (vidéo, supports)
• Session these-salon (salons en parallèle)
  • 16:40-17:00 : Reconfigurable Hardware for Microarchitectural Timing Attacks Detection - Yuxiao Mao (salon, poster)
  • 16:40-17:00 : Attestation à distance de microprocesseurs vérifiée formellement - Jonathan Certes, Benoît Morgan (salon, poster)
  • 16:40-17:00 : Perspectives on security kernels for IoT - Nicolas Dejon (salon, poster)
  • 16:40-17:00 : Automatically Proving Microkernel Security - Olivier Nicole (salon)

Jeudi 17 décembre

• Session keynote (séance plénière)
  • 14:00-14:30 : BGP Blackjack attacks - Cristel Pelsser (vidéo, supports, article 1, article 2)
• Session projet (salons en parallèle)
  • 14:30-14:50 : Cyber Résilience opérationnelle augmentée par Intelligence Artificielle - Yacine Tamoudi (salon, poster)
  • 14:30-14:50 : DALID: Démonstrateur Automatisé de Lutte Informatique Défensive - Georges Bossert, Colas Le Guernic (salon, poster)
  • 14:30-14:50 : ANR PRCE MobiS5 (début) - Cristina Onete, Pascal Lafourcade, Léo Robert (salon, poster)
• 14:50-15:05 : Pause
• Session these (séance plénière)
  • 15:05-15:15 : BotFP: FingerPrints Clustering for Bot Detection - Agathe Blaise (vidéo, supports, article)
  • 15:15-15:25 : Consensus protocols from Byzantine Generals problem to Blockchain - Ambre Toulemonde (vidéo, supports)
  • 15:25-15:35 : Directed Fuzzing for Use-After-Free Vulnerabilities Detection - Manh-Dung Nguyen (vidéo, supports)
  • 15:35-15:45 : Towards Network Resiliency with AI Driven Automated Load Sharing in Content Delivery Environments - Elkin Aguas (vidéo, supports)
• Session these-salon (salons en parallèle)
  • 15:45-16:05 : Consensus protocols from Byzantine Generals problem to Blockchain - Ambre Toulemonde (salon, poster)
  • 15:45-16:05 : BotFP: FingerPrints Clustering for Bot Detection - Agathe Blaise (salon)
  • 15:45-16:05 : Towards Network Resiliency with AI Driven Automated Load Sharing in Content Delivery Environments - Elkin Aguas (salon, poster)
  • 15:45-16:05 : Directed Fuzzing for Use-After-Free Vulnerabilities Detection - Manh-Dung Nguyen (salon)
• 16:05-16:15 : Pause
• 16:15-17:30 : Rump sessions

Vendredi 18 décembre

• Session keynote (séance plénière)
  • 9:00-9:30 : EmPoWeb: Empowering Web Applications with Browser Extensions - Dolière Francis Somé (vidéo, supports)
• Session projet (salons en parallèle)
  • 9:30-9:50 : MOSAICO : Multi-layer Orchestration for Secured and low lAtency applICatiOns - Bertrand Mathieu, Guillaume Doyen, Marius Letourneau (salon, teaser, poster)
  • 9:30-9:50 : VARIoT: Vulnerability and Attack Repository for IoT - Gregory Blanc (salon, poster)
  • 9:30-9:50 : REVEN-64-v2 : Analyseur dynamique déterministe pour système x64 complet - Louis Dureuil, Benoît Brodard (salon, teaser, poster, démo 1, démo 2)
• Session these (séance plénière)
  • 9:50-10:00 : Improving encryption expressivity with Multi-locking - Cyrius Nugier (vidéo, supports)
  • 10:00-10:10 : Interception of Frequency-Hopping Signals for TEMPEST Attacks - Corentin Lavaud, Robin Gerzaguet, Matthieu Gautier, Olivier Berder (vidéo, supports)
  • 10:10-10:20 : Spécifier des propriétés de haut niveau pour apprivoiser un programme C avec MetAcsl - Virgile Robles (vidéo, supports)
  • 10:20-10:30 : Biométrie multimodale pour la vérification d’identité d’apprenants dans les examens à distance - Mohamed Amine Haytom, Christophe Rosenberger, Christophe Charrier (vidéo, supports)
• Session these-salon (salons en parallèle)
  • 10:30-10:50 : Biométrie multimodale pour la vérification d’identité d’apprenants dans les examens à distance - Mohamed Amine Haytom, Christophe Rosenberger, Christophe Charrier (salon)
  • 10:30-10:50 : Improving encryption expressivity with Multi-locking - Cyrius Nugier (salon, poster)
  • 10:30-10:50 : Interception of Frequency-Hopping Signals for TEMPEST Attacks - Corentin Lavaud, Robin Gerzaguet, Matthieu Gautier, Olivier Berder (salon)
  • 10:30-10:50 : Spécifier des propriétés de haut niveau pour apprivoiser un programme C avec MetAcsl - Virgile Robles (salon)
• 10:50-11:05 : Pause
• Session enseignement (séance plénière)
  • 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, Gabriel Chenevert (vidéo, supports)
  • 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, Ghiles Mostafaoui, Iryna Andriyanova (vidéo, supports, article)
  • 11:35-11:50 : Retour d’expérience: Enseignement de la “Sécurité logicielle” à l’Université de Bordeaux - Emmanuel Fleury (vidéo, supports, article)
  • 11:50-12:05 : Une preuve pour le lycée de l’indécidabilité du problème de la détection de virus informatique - Leo Robert, Pascal Lafourcade (vidéo, supports)
• 12:05-12:30 : Clôture