La sécurité informatique constitue un enjeu fondamental face à un monde de plus en plus ouvert aux communications à travers les réseaux. Le défi majeur consiste à pouvoir réaliser à distance et en toute sécurité, des transactions financières et des échanges de documents confidentiels, ou même à voter électroniquement.

Cette discipline fait appel, non seulement à des notions mathématiques comme celles utilisées au niveau de la cryptographie, mais aussi à des outils informatiques comme les raisonnements logiques et algébriques afin de modéliser et vérifier formellement les protocoles de sécurité.

Ce workshop est le premier de sa série et a été initié dans le cadre du projet DGRST/INRIA numéro 07/I 06, intitulé «Conception et implémentation de systèmes de vote électronique et d’outils de vérification des protocoles de vote électronique». Pour cette première édition, les conférenciers ont été sélectionnés en fonction de leurs travaux récents afin de  présenter la problématique et les  résultats actuels autour du thème de la sécurité informatique et plus particulièrement, le vote électronique.

Photos de la manifestation