Seminar details

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.

Contact | Site Map | Site powered by SPIP 4.2.13 + AHUNTSIC [CC License]

info visites 4005359