Vincent Cheval. Automatic verification of cryptographic protocols : privacy-type properties. (Vérification automatique des protocoles cryptographiques : propriétés d'équivalence). PhD thesis, École normale supérieure de Cachan, France, 2012. [doi]
Abstract is missing.