RESSI 2017 - Sciencesconf.org

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

Thomas Genet

Pause café - Setup challenge

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)

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

Déjeuner

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)

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)

Pause café

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)

Activité

Repas festif

Programme > Planning