Détails sur le séminaire


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.


Contact | Plan du site | Site réalisé avec SPIP 4.2.8 + AHUNTSIC [CC License]

info visites 3899778