Provable Security of Real-World Protocols

par Angèle Bossuat

Thèse de doctorat en Informatique

Sous la direction de Pierre-alain Fouque.

Soutenue le 06-10-2020

à Rennes 1 , dans le cadre de Mathématiques et Sciences et Technologies de l'Information et de la Communication , en partenariat avec INSTITUT DE RECHERCHES EN INFORMATIQUE ET SYSTEMES ALEATOIRES (équipe de recherche) .

Le président du jury était David Point cheval.

Le jury était composé de Cristina Onete, Steve Kremer.