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