Pascal Lafourcade

Recherche

Vérification symbolique et calculatoire de propriétés de sécurité.

• Je cherche à modéliser et vérifier certaines protopriétés de sécurité des protocoles de votes électronique (anomymat, verifiabilité, équité ...). Pour cela nous nous proposons de regarder ce problème d'un point de vue symbolique mais aussi calculatoire.
• J'étudie également les protocoles de communication sans fils. Mon but est de comprendre comment cette nouvelle technologie modifie les modèles existants en vérification de protocoles cryptographiques, e.g., le modèle de Dolev-Yao.
• Enfin de nombreux travaux considèrent l'hypothèse de chiffrement parfait, signifiant qu'il n'est pas possible de déchiffrer un message si on n'en connaît pas la clé de déchiffrement. En augmentant le pouvoir de l'intrus, je cherche à affaiblir cette hypothèse grâce à des propriétés algébriques des systèmes de chiffrement ou du protocole lui-même, ce afin de prouver que le protocole est sûr ou pour découvrir de nouvelles attaques

Séminaires

• Séminaire Verimag
• Séminaire Cryptographie
• Groupe de Travail Sécurité de l'équipe DCS à Vérimag.
• Industrial Talks in CSCIS Master.

Evénements

• CAV 2009
• DCS-DAYS 26-27 March 2009 1st Canada-France MITACS Workshop on Foundations & Practice of Security Montréal, Québéc May 31 - June 2, 2008
• Alpine Verification Meeting 2008 Semmering, Autriche.

Projets

En cours

• ANR Sesur AVOTE: Analyse formelle de protocoles de vote électronique.
• ANR Sesur SCALP: Security of Cryptographic ALgorithms with Probabilities.
• ANR Sesur SFINCS : Securing Flow of INformation for Computing pervasive Systems.
• ARESA 2:
• SHIVA: Secured Hardware Immune Versatile Architecture

Auquels j'ai participé:

• RNTL PROUVé Protocoles cryptographiques: Outils de Vérification automatique
• ACI Sécurité Informatique: ROSSIGNOL

Masters & Thèses

Dans cette thématique, je propose des sujets de stage de recherche de MASTER.

• Vérification formelle de protocoles de vote électronique.
• Vérification formelle de protocoles de vente aux enchères.
• Analyse formelle de la mobilité dans les communication sans fil.
• Analyse computationelle des chiffrements homomorphiques.

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

• Eauction.
• Courbes elliptiques.
• Réseaux sans fil.

DCS-DAYS 26-27 March 2009

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. Ma page à l'ETHZ.

Curriculum Vitae en francais et anglais.