Cyrille Wiedling

INRIA Rennes - EMSEC Team
Campus de Beaulieu
263, Avenue Général Leclerc
35042 Rennes
France

Contact me :
Office : F Building, F417
Phone: +33 (0)2 99 84 74 71
Mail: cyrille.wiedling@inria.fr

Cyrille Wiedling

PostDoc Researcher at INRIA Rennes - EMSEC Team

Presentation

I am currently a PostDoc researcher at INRIA Rennes in the EMSEC Team in collaboration with Pierre-Alain Fouque. I am working on the automation of security proofs for AKE (Authenticated Key Exchange) and ACCE (Authenticated and Confidential Channel Establishment) protocols. We are trying to achieve this by using type-systems and the F* tool.

Je suis actuellement en contrat post-doctoral au sein de l'équipe EMSEC à INRIA Rennes, en collaboration avec Pierre-Alain Fouque. Je travaille à l'automatisation des preuves de sécurité pour les protocoles AKE/ACCE. Pour cela, on utilise les systèmes de types et, en particulier, l'outil F*.

News

  • [01-04-16] Now working at INRIA Rennes (EMSEC Team) as a PostDoc Researcher.
  • [06-16-15] CV and POST'15 publication update.
  • [06-01-15] Minor Updates, I'm still alive !
  • [12-15-14] Jingle Bells, Jingle Bells...
  • [11-21-14] Keep calm, I'm a doctor !