Alexandre Debant

Alexandre Debant est Chargé de Recherche au Centre Inria de l’Université de Loraine, et membre de l’équipe PESTO. Il a obtenu sa thèse en 2020 à l’Université de Rennes 1. Ses recherches portent l’étude des protocoles de sécurité en utilisant des outils de preuve automatique. Il s’est notamment intéressé à la sécurité des protocoles de paiement et protocoles de vote électronique.