salle A. Pnueli CE3
8 December 2005 - 14h00
Symbolic verification of cryptographic protocols and its computational justification
by Yassine Lakhnech from VERIMAG
Abstract: Joint work with: Romain Janvier and Laurent Mazaré
Slides of the Presentation.
