Les exposés du séminaire ont lieu sur le campus de Beaulieu, à l'INRIA Rennes (accès, plan du campus), en général dans la salle Métivier.
Les séminaires sont ouverts à tous. Afin de faciliter l'accès à la salle du séminaire, les personnes extérieures à l'INRIA et à l'IRISA doivent s'inscrire en donnant leur nom et leur affiliation à Lydie Mabil (lydie.mabil@irisa.fr).
Joint work Joeri de Ruiter.
EMV is the leading international standard for electronic payments using smartcards. Initially developed by EuroPay, Mastercard and Visa, it has been adopted as the standard across the EU. The EMV standard is extremely complex, involving over 700 pages of documentation describing dozens of options and configurations.
We are working on a formalisation the EMV protocol in the functional programming language F# to then analyse the security using existing tools (in particular the protocol verifier ProVerif with the automated translation from F# to applied pi calculus.)
Pour recevoir les annonces du séminaire, merci de vous inscrire à la liste de diffusion. Vous pouvez également accéder à l'archive des exposés ayant eu lieu.
Sandrine Blazy, IRISA, Campus de Beaulieu, 35 042 Rennes cedex
Tél. : 02 99 84 22 87
Florence Schadle, DGA-MI, BP 57419, 35 174 Bruz Cedex
Tél. : 02 99 42 64 58
