Thematic workshop “Security in information sciences”

Thematic Workshop of Ins2I Scientific Council on Security and Information Sciences

February 29th, 2016

Official report of the Scientific Council on “Security and Information Sciences”

• Report approved on Sept. 9th, 2016 (in French)
  • [gview file=”https://csins2i.irisa.fr/files/2016/02/Fiche-de-synthese-securite-CSI-2016-09-19.pdf”]

List of presentations, CSI INS2I, Feb. 29th 2016:

• Guy Gogniat : Introduction f the workshop

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

• Jean-Marc Jézéquel – IRISA -Research in Cyber Security is dual (civil‐military) & multi disciplinary

  • [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 – Formal Verification and Security

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

Thematic Seminar  “Security”, CSI INS2I, Dec. 9 2013

• Introduction : (Hubert Comon-Lundh, ENS Cachan)

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

• Research on protocols security (Véronique Cortier, LORIA, Nancy)

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

• System Security (Loic Duflot, ANSSI)

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

• Research in Cryptography (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”]