Verimag

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 3.0.26 + AHUNTSIC [CC License]

info visites 876093