Journée commune au GDR RSD, GPL (GT GL_Sec) et SI (GT SSLR) sur la sécurité des piles réseau

9:00 - 9:45 (45min)

Accueil

9:45 - 10:00 (15min)

Introduction de la journée

10:00 - 10:45 (45min)

La gestion de la sécurité dans le Bluetooth BLE (Présentation invitée)

Samuel Rouxel

10:45 - 12:00 (1h15)

Présentation de travaux de thèse

› Mealy Verifier - Arthur Tran van, Télécom SudParis - Olivier Levillain, Télécom SudParis 10:45-11:05 (20min)

› Verification of Software Architecture Security Properties using a Knowledge Graph - Jeisson Andrés Vergara Vargas, Doctorant, Doctorant, Universidad Nacional de Colombia 11:10-11:30 (20min)

› Un grand pas pour les noms de domaine, un petit pas pour Internet. Analyse du déploiement et de la conformit´e du protocole RDAP. - Olivier Hureau, Laboratoire d'Informatique de Grenoble 11:35-11:55 (20min)

12:00 - 13:30 (1h30)

Déjeuner

13:45 - 14:30 (45min)

Hardening of P2P networks' stack against the Sybil attack: history, good practices and current state

Thibault Cholez

14:30 - 15:15 (45min)

Présentation de travaux de thèse

› A resilient micro-payment infrastructure: an approach based on blockchain technology - Soumaya BEL HADJ YOUSSEF, Laboratoire d'Informatique Fondamentale d'Orléans 14:30-14:50 (20min)

› Testing the reassembly consistency of IDS and OS in the presence of overlapping data - Lucas Aubard, Inria (équipe PIRAT) 14:55-15:15 (20min)

15:15 - 16:00 (45min)

Pause

16:00 - 16:45 (45min)

Présentation de travaux de thèse

› Enhancing Security for Constrained IoT Devices with Lightweight Remote Attestation - Yuxuan SONG, Inria de Paris 16:00-16:20 (20min)

› Active greybox automata learning with object-graph comparison - Yohan Pipereau, Télécom SudParis 16:25-16:45 (20min)

16:45 - 17:00 (15min)

Conclusion de la journée

Programme