Benjamin Richard: Authenticated key exchange protocols in three parties. (Étude des protocoles d'authentification et de dérivation de clefs en 3 parties). University of Rennes 1, France 2017