PhD Day – Edition 2012
Date: Friday, September 21 Place: A008 Chair: Dominique Méry 9h00-9h15: Coffee 9h15-9h30: Opening by Dominique Méry 9h30-11h00 : Session 1 Cyrille Wiedling : Vérification Formelle de Protocoles : Vote Electronique et API de SécuritéCryptographic protocols are widely used around the world, often in our everyday life such as cash machines,…
