Présentation du séminaire

La sécurité de l'information est un souci majeur de la société moderne. Garantir la sécurité de l'information fait appel au savoir scientifique et au savoir faire technologique de plusieurs disciplines et plusieurs domaines de la même discipline. Peut-on imaginer garantir la sécurité de l'information sans faire appel à la cryptographie, à l'algorithmique des nombres, à la théorie de la complexité, à la théorie de l'information et du codage ou sans développer des infrastructures sécurisées, sans développer des langages de programmation et des théories et algorithmes de vérification dédiés ?

Le besoin de méthodes pour garantir la sécurité de l'information dans ce contexte fait apparaître la nécessité d'outils issues de l'informatique théorique et des mathématiques qui pourront ensemble donner un fondement sur lequel de nouvelles approches et technologies pour la sécurité de l'information adaptées à ce contexte pourront être dévelopées.

Ce séminaire regroupe des chercheurs issus de différentes équipes et laboratoires Grenoblois. Ils ont en commun le fait de développer des recherches en cryptologie, codage de l'information, sécurité informatique et méthodes formelles et leurs applications à la sécurité.