salle A. Pnueli CE3
8 décembre 2005 - 14h00
Symbolic verification of cryptographic protocols and its computational justification
par Yassine Lakhnech de VERIMAG
Abstract: Joint work with: Romain Janvier and Laurent Mazaré
Les tranparents de la presentation.
