RESSI 2017 - Sciencesconf.org

›8:45 (1h15)

Tutoriel 2 : Pratique de la vérification formelle des protocoles de sécurité
Thomas Genet

8:45 - 10:00 (1h15)

Tutoriel 2 : Pratique de la vérification formelle des protocoles de sécurité

Thomas Genet

›10:00 (30min)

Pause café - Setup challenge

10:00 - 10:30 (30min)

Pause café - Setup challenge

›10:30 (1h)

Projets de recherche
Francois Lesueur

10:30 - 11:30 (1h)

Projets de recherche

Francois Lesueur

› Présentation du projet ANR SafeTLS - Cristina Onete, Université de Rennes 1 10:30-10:50 (20min)

› Projet GIRAFON: Protection de la vie privée dans le cadre de l'interrogation, la fouille et l'analyse de grands graphes - Cédric Eichler, Laboratoire d'Informatique Fondamentale d'Orléans 10:50-11:10 (20min)

› CROWDGUARD : Confidentialité et efficacité dans les plates-formes de crowdsourcing - Tristan Allard, DRUID - David Gross-Amblard, DRUID 11:10-11:30 (20min)

›11:30 (1h)

Table ronde 1: outils d'animation de la recherche française en sécurité numérique
Isabelle Chrisment (LORIA), José Araujo (ANSSI), Gildas Avoine (INSA de Rennes), Samuel Dubus (Nokia), Aurélien Francillon (Eurécom), Marco Kilijian (CNRS), Ludovic Mé (CentraleSupélec)

11:30 - 12:30 (1h)

Table ronde 1: outils d'animation de la recherche française en sécurité numérique

Isabelle Chrisment (LORIA), José Araujo (ANSSI), Gildas Avoine (INSA de Rennes), Samuel Dubus (Nokia), Aurélien Francillon (Eurécom), Marco Kilijian (CNRS), Ludovic Mé (CentraleSupélec)

https://ressi2017.sciencesconf.org/data/program/tblr1.pdf

›12:30 (1h30)

Déjeuner

12:30 - 14:00 (1h30)

Déjeuner

›14:00 (1h)

Rejeux
Aurélien Francillon

14:00 - 15:00 (1h)

Rejeux

Aurélien Francillon

› Beauty and the Beast: Diverting modern web browsers to build unique browser fingerprints - Pierre Laperdrix, DIVERSE 14:00-14:30 (30min)

› Designing and proving an EMV-compliant payment protocol for mobile devices - Alicia Filipiak, INRIA Nancy - Grand Est, Orange Labs [Issy les Moulineaux] 14:30-15:00 (30min)

›15:00 (1h)

Enseignement
Vincent Nicomette

15:00 - 16:00 (1h)

Enseignement

Vincent Nicomette

› Quelle collaboration ANSSI / Enseignement Supérieur ? - Pascal Chour, Agence nationale de la sécurité des systèmes d'information [Paris] - Francois Lesueur, Institut national des sciences appliquées de Lyon, CITI Centre of Innovation in Telecommunications and Integration of services 15:00-15:20 (20min)

› Enseigner la sécurité informatique en licence Cas de la licence professionnelle : Administration et sécurité des systèmes d'information et réseaux - Cécile Roisin, Université Grenoble-Alpes - Gaëlle Blanco-Lainé, Université Grenoble-Alpes 15:20-15:50 (30min)

› Vers une approche scientifique et thématique de la confidentialité - frédéric Prost, Laboratoire d'Informatique de Grenoble 15:40-16:00 (20min)

›16:00 (30min)

Pause café

16:00 - 16:30 (30min)

Pause café

›16:30 (1h)

Projets de recherche
Jérôme Francois

16:30 - 17:30 (1h)

Projets de recherche

Jérôme Francois

› ARAMIS : Un cloisonnement robuste par design pour les infrastructures critiques - François PEBAY-PEYROULA, VERIMAG 16:30-16:50 (20min)

› Projet INGOPCS: Initiative pour la Nouvelle Génération OPC-UA Sécurisée - Virgile Prevosto, Laboratoire de Sûreté et de Sécurité des Logiciels 16:50-17:10 (20min)

› GAINS: Geopolitical Geopolitically Aware INternet Strategy. Un projet européen sur la cyberstratégie - Salamatian Kavé, Laboratoire d'Informatique, Systèmes, Traitement de l'Information et de la Connaissance 17:10-17:30 (20min)

›17:45 (2h45)

Activité

17:45 - 20:30 (2h45)

Activité

›21:00 (1h30)

Repas festif

21:00 - 22:30 (1h30)

Repas festif