Jaouhar Fattahi: Analyse des protocoles cryptographiques par les fonctions témoins. Université Laval, Canada 2016