Pascal Lafourcade

Home page English version

Recherche


CV en 2 pages

Thème de recherche : Vérification et de la modélisation pour la sécurité informatique

Depuis mon arrivée à Verimag je m'interesse aux trois thématiques de recherche suivantes :

Projets

En cours Auquels j'ai participé:

Séminaire

Je co-organise le de Cryptologie, Codage et Infrastructures Sécurisées de Grenoble

Masters & Thèses

Je propose des sujets de stage de recherche de MASTER. Les étudiants intéressés sont priés de me contacter par e-mail en joignant leur cv, précisant quel(s) sujet(s) les intéresse(nt), et en proposant des idées, des pistes de travail en fonction du sujet choisi. Je souhaite clairement voir que les candidats sont intéressés par mes thèmes de recherche. J'apprécie également que le candidat me montre que je suis la "bonne" personne avec qu'il souhaite travailler (si les approches théoriques vous effraient, alros il serait probablement souhaitable de contacter quelqu'un d'autre).

Ces sujets peuvent être étendus en sujet de thèse.

Stages d'excellence

Je propose des sujets de stage d'excellence

Parcours

Thèse effectuée sous la direction de Ralf Treinen (LSV) et Denis Lugiez (LIF), soutenue le 25 septembre 2006 à l'ENS Cachan : Vérification de protocoles cryptographiques en présence de théories équationnelles. Ma page au LSV.

Post-doctorat en Suisse à l'ETHZ dans l'équipe Information Secutity de David Basin.

Curriculum Vitae en francais et anglais.