09:00
10:00
11:00
12:00
13:00
14:00
15:00
16:00
17:00
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
