Alexandre Debant

1

Article

1

Comment
  • Chercheur en informatique, spécialisé en cyber sécurité, Inria

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.

Experience

  • –present
    Chercheur en informatique, spécialisé en cyber sécurité, Inria

Contact Alexandre for

  • General
  • Media request
  • Speaking request
  • Consulting / Advising
  • Research collaboration
  • Research supervision