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)
