|
09:00 - 09:45
|
Accueil |
|
|
09:45 - 10:00
|
Introduction de la journée |
|
|
10:00 - 10:45
|
La gestion de la sécurité dans le Bluetooth BLE (Présentation invitée) - Samuel Rouxel |
|
|
10:45 - 12:00
|
Présentation de travaux de thèse |
(+)
|
|
10:45 - 11:05 |
› Mealy Verifier - Arthur Tran van, Télécom SudParis - Olivier Levillain, Télécom SudParis |
|
|
11:10 - 11:30 |
› Verification of Software Architecture Security Properties using a Knowledge Graph - Jeisson Andrés Vergara Vargas, Doctorant, Doctorant, Universidad Nacional de Colombia |
|
|
11:35 - 11:55 |
› 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 |
|
|
12:00 - 13:30
|
Déjeuner |
|
|
13:45 - 14:30
|
Hardening of P2P networks' stack against the Sybil attack: history, good practices and current state - Thibault Cholez |
|
|
14:30 - 15:15
|
Présentation de travaux de thèse |
(+)
|
|
14:30 - 14:50 |
› A resilient micro-payment infrastructure: an approach based on blockchain technology - Soumaya BEL HADJ YOUSSEF, Laboratoire d'Informatique Fondamentale d'Orléans |
|
|
14:55 - 15:15 |
› Testing the reassembly consistency of IDS and OS in the presence of overlapping data - Lucas Aubard, Inria (équipe PIRAT) |
|
|
15:15 - 16:00
|
Pause |
|
|
16:00 - 16:45
|
Présentation de travaux de thèse |
(+)
|
|
16:00 - 16:20 |
› Enhancing Security for Constrained IoT Devices with Lightweight Remote Attestation - Yuxuan SONG, Inria de Paris |
|
|
16:25 - 16:45 |
› Active greybox automata learning with object-graph comparison - Yohan Pipereau, Télécom SudParis |
|
|
16:45 - 17:00
|
Conclusion de la journée |
|
