Ludovic Robin

Université de Lorraine - PhD Student
PESTO team at LORIA

Presentation

I'm currently doing a PhD at the LORIA under the direction of Steve Kremer and co-supervised by Stéphanie Delaune. My thesis deals with formal automated verification of a class of protocols using short messages. My results are meant to be applied to the verification of out of bands protocols.

Je suis actuellement en Doctorat au LORIA sous la direction de Steve Kremer et co-encadré par Stéphanie Delaune. Mon sujet de thèse porte sur la vérification formelle et automatique de propriétés de sécurité sur les protocoles hors-bandes. L'objectif est de modéliser ces protocoles ainsi que les capacités de l'attaquant nécessaires à leur vérification.