Thématiques de recherche

Mes recherches sont principalement centrées autours de la cryptographie et des méthodes formelles pour la sécurité. En particulier je m'intéresse aux modélisations cryptographiques de divers aspect du Secure Hardware. Dans le cadre de l'équipe SMIS je m'intéresse plus particulièrement à la conception (et preuve) de protocoles utilisant du Secure Hardware en rapport avec le traitement de données distribuées.