2 janvier 2017

Les Jeudis de la recherche de l'X : nouveau défi pour les chercheurs | Ecole polytechnique

Les Jeudis de la recherche de l'X : nouveau défi pour les chercheurs | Ecole polytechnique
Les chercheurs de l'École polytechnique vous proposent de découvrir, le jeudi 12 janvier 2016 de 9h à 10h30, « Défi sécuritaire : Renforcer la confiance dans les technologies numériques » à travers trois présentations :
« La cryptologie pour sécuriser les communications dans un monde connecté  » - Benjamin Smith – Chargé de recherche INRIA au Laboratoire d’Informatique de l’X (École polytechnique / CNRS)
« La logique pour vérifier les algorithmes de sécurité de manière autonome et sûre » - Pierre-Yves Strub – Maître de conférences au Laboratoire d’Informatique de l’X (École polytechnique / CNRS)
« La vérification formelle pour assurer la sureté des systèmes embarqués » - Ulrich Fahrenberg – Chercheur au Laboratoire d’Informatique de l’X (École polytechnique / CNRS)