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

info visites 1817509