Colloque des 8 et 9 décembre 2016, Paris

Nos tutelles

CNRS Nom tutelle 1

Nos partenaires

Nom tutelle 2 Nom tutelle 3 Nom tutelle large

Rechercher




Accueil > Intervenants

Hubert Comon

Peut-on prouver la sécurité des communications ? - Vendredi 9 décembre 16h30 - 17h10

par Laure Thiebault - publié le , mis à jour le

Hubert Comon

Biographie

Hubert Comon est professeur a l’École Normale Supérieure de Paris-Saclay, après avoir été chercheur au CNRS pendant une quinzaine d’années. Il a obtenu la médaille d’argent du CNRS en 2008. Il est actuellement membre de l’Institut Universitaire de France.
Ses recherches ont d’abord porté sur la démonstration automatique, puis la vérification (model-checking). Depuis une quinzaine d’années, Hubert Comon s’intéresse à l’étude formelle des protocoles de sécurité.

Intervention

Peut-on prouver la sécurité des communications ?
Vendredi 9 décembre 16h30 - 17h10

Voir aussi