Séminaire thématique « Sécurité en sciences de l’information »

Journée thématique du Conseil Scientifique de l’Ins2I autour de la sécurité dans les sciences de l’information

29 Février 2016

Synthèse du CSI sur le thème « Sécurité en sciences de l’information »

• Fiche se synthèse approuvée par le CSI du 9 Septembre 2016
  • [gview file= »https://csins2i.irisa.fr/files/2016/02/Fiche-de-synthese-securite-CSI-2016-09-19.pdf »]

Liste des présentations du séminaire du 29 Février 2016:

• Guy Gogniat : Introduction de la journée

  • [gview file= »https://csins2i.irisa.fr/files/2016/01/Intro-Journée-Thematique-sécurité.pdf »]

• Jean-Marc Jézéquel – IRISA – Panorama des recherches dans le domaine de la cybersécurité notamment dans le cadre du Pôle d’Excellence Cyber

  • [gview file= »https://csins2i.irisa.fr/files/2016/01/JM-Jezequel_ResearchPanorama.pdf »]

• Jean-Yves Marion – LORIA -Enjeux et avancées dans le domaine de la virologie

  • [gview file= »https://csins2i.irisa.fr/files/2016/01/CSI-Jean-Yves-Marion.pdf »]

• David Monniaux – VERIMAG – Enjeux et avancée dans le domaine de la vérification formelle – application à la sécurité

  • [gview file= »https://csins2i.irisa.fr/files/2016/01/Monniaux_2016-02-29_CS_INS2I_securite.pdf »]

Séminaire thématique « Sécurité », Conseil Scientifique INS2I 9 Décembre 2013

• Introduction du thème (Hubert Comon-Lundh, ENS Cachan)

  • [gview file= »https://csins2i.irisa.fr/files/2016/01/insii-SecuriteIntro1.pdf »]

• La recherche en sécurité des protocoles (Véronique Cortier, LORIA, Nancy)

  • [gview file= »https://csins2i.irisa.fr/files/2016/01/VeroniqueCortier.pdf »]

• Sécurité système (Loic Duflot, ANSSI)

  • [gview file= »https://csins2i.irisa.fr/files/2016/01/LoicDuflot_presentation_CNRS.pdf »]

• La Recherche en Cryptographie (David Pointcheval, CNRS, ENS Paris)

  • [gview file= »https://csins2i.irisa.fr/files/2016/01/DavidPointcheval.pdf »]
• Conclusion
  • [gview file= »https://csins2i.irisa.fr/files/2016/01/insii-SecuriteConclusion.pdf »]