CCIS Seminar - Thursday 8 December 2005 - salle A. Pnueli CE3
14:00:00 - Salle de salle A. Pnueli CE3

Yassine Lakhnech , VERIMAG

Symbolic verification of cryptographic protocols and its computational justification

Abstract: Joint work with: Romain Janvier and Laurent Mazaré


Home page CCIS Seminars
How to come to salle A. Pnueli CE3 - http://www-verimag.imag.fr/Plan-d-acces.html?lang=fr