Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Yassine Lakhnech

Yassine Lakhnech

Professor at the University Joseph Fourier (Grenoble1). (UFR IMA )
Laboratory: VERIMAG .
Research Group: Distributed and Complex Systems Research Group page
(team leader)

Address : Verimag, Centre Equation

2 Av. de Vignate,
F-38610 Gieres, France.

Pho.: +33 (0) 4 56 52 03 81 Fax.: +33 (0) 4 56 52 03 44
email: Firstname.Lastname (at)imag.fr
public pgp key

Short CV in PDF (postscript) CV en francais

Research Interests:

Theory in Computer Security, Cryptographie and Semantics and Verification of cryptographic protocols.

Semantics and foundations of programming and modeling languages.

Some publications
DBLP Bibliography

Courses and departemental activities:

I am a co-responsabale of the "Master Mathématiques, Informatique"
I am responsable of the computer science curriculum in the first year of the "Master Mathématiques, Informatique": majeure Informatique
I am member of the Conseil de l'UFR IMA.
I am member of the commission de spécialistes 27eme section de l'Uniservité Joseph Fourier.

Courses (2004-2005):

Pointers to interesting projects related to Computer Security:

EVA: Explication et Vérification Automatique de protocoles cryptographiques ACI Rossignol: Verification of Cryptographic Protocols.
RNTL PROUVE
AS Sécurité logicielle: Modèles et vérification

Events

Workshop on the Link between Formal and Computational Models
24-24 juin 2005, Paris, France
FORMATS'05
COSMICAH'05
Formats and FTRTFT together

Verimag's football (soccer) team (some good players missing)

Do you know who is Muhammad ibn Musa al-khawarizmi al-Qutrubbuli?