Vous êtes ici

Renforcer la confiance dans les technologies numériques

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)

Renforcer la confiance dans les technologies numériques

Jeudi 12 Janvier 2017 9:00
Maison des Polytechniciens
12 rue de Poitiers
75007 Paris